1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
// Copyright Vespa.ai. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
// Unit tests for predicate_printer.
#include <vespa/log/log.h>
LOG_SETUP("predicate_printer_test");
#include <vespa/document/predicate/predicate.h>
#include <vespa/document/predicate/predicate_printer.h>
#include <vespa/document/predicate/predicate_slime_builder.h>
#include <vespa/vespalib/testkit/testapp.h>
using vespalib::Slime;
using vespalib::slime::Cursor;
using namespace document;
namespace {
using SlimeUP = std::unique_ptr<Slime>;
using namespace document::predicate_slime_builder;
TEST("require that PredicatePrinter prints FeatureSets") {
PredicateSlimeBuilder builder;
builder.feature("foo").value("bar").value("baz");
ASSERT_EQUAL("'foo' in ['bar','baz']",
PredicatePrinter::print(*builder.build()));
builder.feature("foo").value("bar");
ASSERT_EQUAL("'foo' in ['bar']",
PredicatePrinter::print(*builder.build()));
}
TEST("require that PredicatePrinter escapes non-ascii characters") {
PredicateSlimeBuilder builder;
builder.feature("\n\t\001'").value("\xc3\xb8");
ASSERT_EQUAL("'\\n\\t\\x01\\x27' in ['\\xc3\\xb8']",
PredicatePrinter::print(*builder.build()));
}
TEST("require that PredicatePrinter prints FeatureRanges") {
PredicateSlimeBuilder builder;
builder.feature("foo").range(-10, 42);
ASSERT_EQUAL("'foo' in [-10..42]",
PredicatePrinter::print(*builder.build()));
}
TEST("require that PredicatePrinter prints open ended FeatureRanges") {
PredicateSlimeBuilder builder;
builder.feature("foo").greaterEqual(-10);
ASSERT_EQUAL("'foo' in [-10..]",
PredicatePrinter::print(*builder.build()));
builder.feature("foo").lessEqual(42);
ASSERT_EQUAL("'foo' in [..42]", PredicatePrinter::print(*builder.build()));
}
TEST("require that PredicatePrinter prints NOT_IN FeatureSets") {
PredicateSlimeBuilder builder;
builder.neg().feature("foo").value("bar").value("baz");
ASSERT_EQUAL("'foo' not in ['bar','baz']",
PredicatePrinter::print(*builder.build()));
}
TEST("require that PredicatePrinter can negate FeatureRanges") {
auto slime = neg(featureRange("foo", -10, 42));
ASSERT_EQUAL("'foo' not in [-10..42]", PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter can negate open ended FeatureRanges") {
auto slime = neg(greaterEqual("foo", 42));
ASSERT_EQUAL("'foo' not in [42..]", PredicatePrinter::print(*slime));
slime = neg(lessEqual("foo", 42));
ASSERT_EQUAL("'foo' not in [..42]", PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter can negate double open ended ranges") {
auto slime = neg(emptyRange("foo"));
ASSERT_EQUAL("'foo' not in [..]", PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter prints AND expressions") {
auto slime = andNode({featureSet("foo", {"bar", "baz"}),
featureSet("foo", {"bar", "baz"})});
ASSERT_EQUAL("('foo' in ['bar','baz'] and 'foo' in ['bar','baz'])",
PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter prints OR expressions") {
auto slime = orNode({featureSet("foo", {"bar", "baz"}),
featureSet("foo", {"bar", "baz"})});
ASSERT_EQUAL("('foo' in ['bar','baz'] or 'foo' in ['bar','baz'])",
PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter can negate OR expressions") {
auto slime = neg(orNode({featureSet("foo", {"bar", "baz"}),
featureSet("foo", {"bar", "baz"})}));
ASSERT_EQUAL("not ('foo' in ['bar','baz'] or 'foo' in ['bar','baz'])",
PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter can negate AND expressions") {
auto slime = neg(andNode({featureSet("foo", {"bar", "baz"}),
featureSet("foo", {"bar", "baz"})}));
ASSERT_EQUAL("not ('foo' in ['bar','baz'] and 'foo' in ['bar','baz'])",
PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter prints True") {
auto slime = truePredicate();
ASSERT_EQUAL("true", PredicatePrinter::print(*slime));
}
TEST("require that PredicatePrinter prints False") {
auto slime = falsePredicate();
ASSERT_EQUAL("false", PredicatePrinter::print(*slime));
}
} // namespace
TEST_MAIN() { TEST_RUN_ALL(); }
|
