1 /*
2 * SysDB - t/unit/frontend/parser_test.c
3 * Copyright (C) 2013 Sebastian 'tokkee' Harl <sh@tokkee.org>
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
17 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
18 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR
19 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
20 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
21 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
22 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
23 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
24 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
25 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 */
28 #include "frontend/connection.h"
29 #include "frontend/parser.h"
30 #include "core/store-private.h"
31 #include "core/object.h"
32 #include "libsysdb_test.h"
34 #include <check.h>
36 /*
37 * tests
38 */
40 START_TEST(test_parse)
41 {
42 struct {
43 const char *query;
44 int len;
45 int expected;
46 sdb_conn_state_t expected_cmd;
47 } golden_data[] = {
48 /* empty commands */
49 { NULL, -1, -1, 0 },
50 { "", -1, 0, 0 },
51 { ";", -1, 0, 0 },
52 { ";;", -1, 0, 0 },
54 /* valid commands */
55 { "FETCH 'host'", -1, 1, CONNECTION_FETCH },
56 { "LIST", -1, 1, CONNECTION_LIST },
57 { "LIST -- comment", -1, 1, CONNECTION_LIST },
58 { "LIST;", -1, 1, CONNECTION_LIST },
59 { "LIST; INVALID", 5, 1, CONNECTION_LIST },
61 { "LOOKUP hosts MATCHING "
62 "host = 'host'", -1, 1, CONNECTION_LOOKUP },
63 { "LOOKUP hosts MATCHING NOT "
64 "host = 'host'", -1, 1, CONNECTION_LOOKUP },
65 { "LOOKUP hosts MATCHING "
66 "host =~ 'p' AND "
67 "service =~ 'p'", -1, 1, CONNECTION_LOOKUP },
68 { "LOOKUP hosts MATCHING NOT "
69 "host =~ 'p' AND "
70 "service =~ 'p'", -1, 1, CONNECTION_LOOKUP },
71 { "LOOKUP hosts MATCHING "
72 "host =~ 'p' AND "
73 "service =~ 'p' OR "
74 "service =~ 'r'", -1, 1, CONNECTION_LOOKUP },
75 { "LOOKUP hosts MATCHING NOT "
76 "host =~ 'p' AND "
77 "service =~ 'p' OR "
78 "service =~ 'r'", -1, 1, CONNECTION_LOOKUP },
79 { "LOOKUP hosts MATCHING "
80 "host =~ 'p' "
81 "FILTER :age > 1D", -1, 1, CONNECTION_LOOKUP },
82 { "LOOKUP hosts MATCHING "
83 "host =~ 'p' "
84 "FILTER :age > 1D AND "
85 ":interval < 240s" , -1, 1, CONNECTION_LOOKUP },
86 { "LOOKUP hosts MATCHING "
87 "host =~ 'p' "
88 "FILTER NOT :age>1D", -1, 1, CONNECTION_LOOKUP },
90 /* numeric constants */
91 { "LOOKUP hosts MATCHING "
92 "attribute.foo = "
93 "1234", -1, 1, CONNECTION_LOOKUP },
94 { "LOOKUP hosts MATCHING "
95 "attribute.foo != "
96 "+234", -1, 1, CONNECTION_LOOKUP },
97 { "LOOKUP hosts MATCHING "
98 "attribute.foo < "
99 "-234", -1, 1, CONNECTION_LOOKUP },
100 { "LOOKUP hosts MATCHING "
101 "attribute.foo > "
102 "12.4", -1, 1, CONNECTION_LOOKUP },
103 { "LOOKUP hosts MATCHING "
104 "attribute.foo <= "
105 "12. + .3", -1, 1, CONNECTION_LOOKUP },
106 { "LOOKUP hosts MATCHING "
107 "attribute.foo >= "
108 ".4", -1, 1, CONNECTION_LOOKUP },
109 { "LOOKUP hosts MATCHING "
110 "attribute.foo = "
111 "+12e3", -1, 1, CONNECTION_LOOKUP },
112 { "LOOKUP hosts MATCHING "
113 "attribute.foo = "
114 "+12e-3", -1, 1, CONNECTION_LOOKUP },
115 { "LOOKUP hosts MATCHING "
116 "attribute.foo = "
117 "-12e+3", -1, 1, CONNECTION_LOOKUP },
119 /* date, time, interval constants */
120 { "LOOKUP hosts MATCHING "
121 "attribute.foo = "
122 "1 Y 42D", -1, 1, CONNECTION_LOOKUP },
123 { "LOOKUP hosts MATCHING "
124 "attribute.foo = "
125 "1s 42D", -1, 1, CONNECTION_LOOKUP },
126 /*
127 * TODO: Something like 1Y42D should work as well but it doesn't since
128 * the scanner will tokenize it into {digit}{identifier} :-/
129 *
130 { "LOOKUP hosts MATCHING "
131 "attribute.foo = "
132 "1Y42D", -1, 1, CONNECTION_LOOKUP },
133 */
135 /* NULL */
136 { "LOOKUP hosts MATCHING "
137 "attribute.foo "
138 "IS NULL", -1, 1, CONNECTION_LOOKUP },
139 { "LOOKUP hosts MATCHING "
140 "attribute.foo "
141 "IS NOT NULL", -1, 1, CONNECTION_LOOKUP },
142 { "LOOKUP hosts MATCHING "
143 "NOT attribute.foo "
144 "IS NULL", -1, 1, CONNECTION_LOOKUP },
145 { "LOOKUP hosts MATCHING "
146 "host IS NULL", -1, -1, 0 },
147 { "LOOKUP hosts MATCHING "
148 "service IS NULL", -1, -1, 0 },
150 /* invalid numeric constants */
151 { "LOOKUP hosts MATCHING "
152 "attribute.foo = "
153 "+-12e+3", -1, -1, 0 },
154 { "LOOKUP hosts MATCHING "
155 "attribute.foo = "
156 "-12e-+3", -1, -1, 0 },
157 { "LOOKUP hosts MATCHING "
158 "attribute.foo = "
159 "e+3", -1, -1, 0 },
160 { "LOOKUP hosts MATCHING "
161 "attribute.foo = "
162 "3e", -1, -1, 0 },
163 /* following SQL standard, we don't support hex numbers */
164 { "LOOKUP hosts MATCHING "
165 "attribute.foo = "
166 "0x12", -1, -1, 0 },
168 /* invalid expressions */
169 { "LOOKUP hosts MATCHING "
170 "attribute.foo = "
171 "1.23 + 'foo'", -1, -1, 0 },
173 /* comments */
174 { "/* some comment */", -1, 0, 0 },
175 { "-- another comment", -1, 0, 0 },
177 /* syntax errors */
178 { "INVALID", -1, -1, 0 },
179 { "FETCH host", -1, -1, 0 },
180 { "LIST; INVALID", 8, -1, 0 },
181 { "/* some incomplete", -1, -1, 0 },
183 { "LOOKUP hosts", -1, -1, 0 },
184 { "LOOKUP foo MATCHING "
185 "host = 'host'", -1, -1, 0 },
186 };
188 size_t i;
189 sdb_llist_t *check;
191 for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
192 sdb_object_t *obj;
193 _Bool ok;
195 check = sdb_fe_parse(golden_data[i].query, golden_data[i].len);
196 if (golden_data[i].expected < 0)
197 ok = check == 0;
198 else
199 ok = sdb_llist_len(check) == (size_t)golden_data[i].expected;
201 fail_unless(ok, "sdb_fe_parse(%s) = %p (len: %zu); expected: %d",
202 golden_data[i].query, check, sdb_llist_len(check),
203 golden_data[i].expected);
205 if (! check)
206 continue;
208 if ((! golden_data[i].expected_cmd)
209 || (golden_data[i].expected <= 0)) {
210 sdb_llist_destroy(check);
211 continue;
212 }
214 obj = sdb_llist_get(check, 0);
215 fail_unless(SDB_CONN_NODE(obj)->cmd == golden_data[i].expected_cmd,
216 "sdb_fe_parse(%s)->cmd = %i; expected: %d",
217 golden_data[i].query, SDB_CONN_NODE(obj)->cmd,
218 golden_data[i].expected_cmd);
219 sdb_object_deref(obj);
220 sdb_llist_destroy(check);
221 }
222 }
223 END_TEST
225 START_TEST(test_parse_matcher)
226 {
227 struct {
228 const char *expr;
229 int len;
230 int expected;
231 } golden_data[] = {
232 /* empty expressions */
233 { NULL, -1, -1 },
234 { "", -1, -1 },
236 /* valid expressions */
237 { "host = 'localhost'", -1, MATCHER_NAME },
238 { "host != 'localhost'", -1, MATCHER_NOT },
239 { "host =~ 'host'", -1, MATCHER_NAME },
240 { "host !~ 'host'", -1, MATCHER_NOT },
241 { "host = 'localhost' -- foo", -1, MATCHER_NAME },
242 { "host = 'host' <garbage>", 13, MATCHER_NAME },
243 /* match hosts by service */
244 { "service = 'name'", -1, MATCHER_NAME },
245 { "service != 'name'", -1, MATCHER_NOT },
246 { "service =~ 'pattern'", -1, MATCHER_NAME },
247 { "service !~ 'pattern'", -1, MATCHER_NOT },
248 /* match hosts by attribute */
249 { "attribute = 'name'", -1, MATCHER_NAME },
250 { "attribute != 'name'", -1, MATCHER_NOT },
251 { "attribute =~ 'pattern'", -1, MATCHER_NAME },
252 { "attribute !~ 'pattern'", -1, MATCHER_NOT },
253 /* composite expressions */
254 { "host =~ 'pattern' AND "
255 "service =~ 'pattern'", -1, MATCHER_AND },
256 { "host =~ 'pattern' OR "
257 "service =~ 'pattern'", -1, MATCHER_OR },
258 { "NOT host = 'host'", -1, MATCHER_NOT },
259 /* numeric expressions */
260 { "attribute.foo < 123", -1, MATCHER_LT },
261 { "attribute.foo <= 123", -1, MATCHER_LE },
262 { "attribute.foo = 123", -1, MATCHER_EQ },
263 { "attribute.foo >= 123", -1, MATCHER_GE },
264 { "attribute.foo > 123", -1, MATCHER_GT },
265 /* NULL; while this is an implementation detail,
266 * IS NULL currently maps to an equality matcher */
267 { "attribute.foo IS NULL", -1, MATCHER_ISNULL },
268 { "attribute.foo IS NOT NULL", -1, MATCHER_NOT },
270 /* object field matchers */
271 { ":last_update < 10s", -1, MATCHER_LT },
272 { ":AGE <= 1m", -1, MATCHER_LE },
273 { ":interval = 10h", -1, MATCHER_EQ },
274 { ":Last_Update >= 24D", -1, MATCHER_GE },
275 { ":age > 1M", -1, MATCHER_GT },
276 { ":age != 20Y", -1, MATCHER_NOT },
277 { ":backend != 'be'", -1, MATCHER_NOT },
279 /* check operator precedence */
280 { "host = 'name' OR "
281 "service = 'name' AND "
282 "attribute = 'name' OR "
283 "attribute.foo = 'bar'", -1, MATCHER_OR },
284 { "host = 'name' AND "
285 "service = 'name' AND "
286 "attribute = 'name' OR "
287 "attribute.foo = 'bar'", -1, MATCHER_OR },
288 { "host = 'name' AND "
289 "service = 'name' OR "
290 "attribute = 'name' AND "
291 "attribute.foo = 'bar'", -1, MATCHER_OR },
292 { "(host = 'name' OR "
293 "service = 'name') AND "
294 "(attribute = 'name' OR "
295 "attribute.foo = 'bar')", -1, MATCHER_AND },
296 { "NOT host = 'name' OR "
297 "service = 'name'", -1, MATCHER_OR },
298 { "NOT host = 'name' OR "
299 "NOT service = 'name'", -1, MATCHER_OR },
300 { "NOT (host = 'name' OR "
301 "NOT service = 'name')", -1, MATCHER_NOT },
303 /* syntax errors */
304 { "LIST", -1, -1 },
305 { "foo &^ bar", -1, -1 },
306 };
308 size_t i;
310 for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
311 sdb_store_matcher_t *m;
312 m = sdb_fe_parse_matcher(golden_data[i].expr, golden_data[i].len);
314 if (golden_data[i].expected < 0) {
315 fail_unless(m == NULL,
316 "sdb_fe_parse_matcher(%s) = %p; expected: NULL",
317 golden_data[i].expr, m);
318 continue;
319 }
321 fail_unless(m != NULL, "sdb_fe_parse_matcher(%s) = NULL; "
322 "expected: <matcher>", golden_data[i].expr);
323 fail_unless(M(m)->type == golden_data[i].expected,
324 "sdb_fe_parse_matcher(%s) returned matcher of type %d; "
325 "expected: %d", golden_data[i].expr, M(m)->type,
326 golden_data[i].expected);
328 sdb_object_deref(SDB_OBJ(m));
329 }
330 }
331 END_TEST
333 Suite *
334 fe_parser_suite(void)
335 {
336 Suite *s = suite_create("frontend::parser");
337 TCase *tc;
339 tc = tcase_create("core");
340 tcase_add_test(tc, test_parse);
341 tcase_add_test(tc, test_parse_matcher);
342 suite_add_tcase(s, tc);
344 return s;
345 } /* util_parser_suite */
347 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */