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>
35 #include <limits.h>
37 /*
38 * tests
39 */
41 START_TEST(test_parse)
42 {
43 struct {
44 const char *query;
45 int len;
46 int expected;
47 sdb_conn_state_t expected_cmd;
48 } golden_data[] = {
49 /* empty commands */
50 { NULL, -1, -1, 0 },
51 { "", -1, 0, 0 },
52 { ";", -1, 0, 0 },
53 { ";;", -1, 0, 0 },
55 /* valid commands */
56 { "FETCH host 'host'", -1, 1, SDB_CONNECTION_FETCH },
57 { "FETCH host 'host' FILTER "
58 "age > 60s", -1, 1, SDB_CONNECTION_FETCH },
59 { "FETCH service "
60 "'host'.'service'", -1, 1, SDB_CONNECTION_FETCH },
61 { "FETCH metric "
62 "'host'.'metric'", -1, 1, SDB_CONNECTION_FETCH },
64 { "LIST hosts", -1, 1, SDB_CONNECTION_LIST },
65 { "LIST hosts -- foo", -1, 1, SDB_CONNECTION_LIST },
66 { "LIST hosts;", -1, 1, SDB_CONNECTION_LIST },
67 { "LIST hosts; INVALID", 11, 1, SDB_CONNECTION_LIST },
68 { "LIST hosts FILTER "
69 "age > 60s", -1, 1, SDB_CONNECTION_LIST },
70 { "LIST services", -1, 1, SDB_CONNECTION_LIST },
71 { "LIST services FILTER "
72 "age > 60s", -1, 1, SDB_CONNECTION_LIST },
73 { "LIST metrics", -1, 1, SDB_CONNECTION_LIST },
74 { "LIST metrics FILTER "
75 "age > 60s", -1, 1, SDB_CONNECTION_LIST },
77 { "LOOKUP hosts", -1, 1, SDB_CONNECTION_LOOKUP },
78 { "LOOKUP hosts MATCHING "
79 "name = 'host'", -1, 1, SDB_CONNECTION_LOOKUP },
80 { "LOOKUP hosts MATCHING NOT "
81 "name = 'host'", -1, 1, SDB_CONNECTION_LOOKUP },
82 { "LOOKUP hosts MATCHING "
83 "name =~ 'p' AND "
84 "ANY service =~ 'p'", -1, 1, SDB_CONNECTION_LOOKUP },
85 { "LOOKUP hosts MATCHING NOT "
86 "name =~ 'p' AND "
87 "ANY service =~ 'p'", -1, 1, SDB_CONNECTION_LOOKUP },
88 { "LOOKUP hosts MATCHING "
89 "name =~ 'p' AND "
90 "ANY service =~ 'p' OR "
91 "ANY service =~ 'r'", -1, 1, SDB_CONNECTION_LOOKUP },
92 { "LOOKUP hosts MATCHING NOT "
93 "name =~ 'p' AND "
94 "ANY service =~ 'p' OR "
95 "ANY service =~ 'r'", -1, 1, SDB_CONNECTION_LOOKUP },
96 { "LOOKUP hosts MATCHING "
97 "name =~ 'p' "
98 "FILTER age > 1D", -1, 1, SDB_CONNECTION_LOOKUP },
99 { "LOOKUP hosts MATCHING "
100 "name =~ 'p' "
101 "FILTER age > 1D AND "
102 "interval < 240s" , -1, 1, SDB_CONNECTION_LOOKUP },
103 { "LOOKUP hosts MATCHING "
104 "name =~ 'p' "
105 "FILTER NOT age>1D", -1, 1, SDB_CONNECTION_LOOKUP },
106 { "LOOKUP hosts MATCHING "
107 "name =~ 'p' "
108 "FILTER age>"
109 "interval", -1, 1, SDB_CONNECTION_LOOKUP },
110 { "LOOKUP services", -1, 1, SDB_CONNECTION_LOOKUP },
111 { "LOOKUP services MATCHING ANY "
112 "attribute =~ 'a'", -1, 1, SDB_CONNECTION_LOOKUP },
113 { "LOOKUP metrics", -1, 1, SDB_CONNECTION_LOOKUP },
114 { "LOOKUP metrics MATCHING ANY "
115 "attribute =~ 'a'", -1, 1, SDB_CONNECTION_LOOKUP },
117 { "TIMESERIES 'host'.'metric' "
118 "START 2014-01-01 "
119 "END 2014-12-31 "
120 "23:59:59", -1, 1, SDB_CONNECTION_TIMESERIES },
121 { "TIMESERIES 'host'.'metric' "
122 "START 2014-02-02 "
123 "14:02", -1, 1, SDB_CONNECTION_TIMESERIES },
124 { "TIMESERIES 'host'.'metric' "
125 "END 2014-02-02", -1, 1, SDB_CONNECTION_TIMESERIES },
126 { "TIMESERIES "
127 "'host'.'metric'", -1, 1, SDB_CONNECTION_TIMESERIES },
129 /* string constants */
130 { "LOOKUP hosts MATCHING "
131 "name = ''''", -1, 1, SDB_CONNECTION_LOOKUP },
132 { "LOOKUP hosts MATCHING "
133 "name = '''foo'", -1, 1, SDB_CONNECTION_LOOKUP },
134 { "LOOKUP hosts MATCHING "
135 "name = 'f''oo'", -1, 1, SDB_CONNECTION_LOOKUP },
136 { "LOOKUP hosts MATCHING "
137 "name = 'foo'''", -1, 1, SDB_CONNECTION_LOOKUP },
138 { "LOOKUP hosts MATCHING "
139 "name = '''", -1, -1, 0 },
141 /* numeric constants */
142 { "LOOKUP hosts MATCHING "
143 "attribute['foo'] = "
144 "1234", -1, 1, SDB_CONNECTION_LOOKUP },
145 { "LOOKUP hosts MATCHING "
146 "attribute['foo'] != "
147 "+234", -1, 1, SDB_CONNECTION_LOOKUP },
148 { "LOOKUP hosts MATCHING "
149 "attribute['foo'] < "
150 "-234", -1, 1, SDB_CONNECTION_LOOKUP },
151 { "LOOKUP hosts MATCHING "
152 "attribute['foo'] > "
153 "12.4", -1, 1, SDB_CONNECTION_LOOKUP },
154 { "LOOKUP hosts MATCHING "
155 "attribute['foo'] <= "
156 "12. + .3", -1, 1, SDB_CONNECTION_LOOKUP },
157 { "LOOKUP hosts MATCHING "
158 "attribute['foo'] <= "
159 "'f' || 'oo'", -1, 1, SDB_CONNECTION_LOOKUP },
160 { "LOOKUP hosts MATCHING "
161 "attribute['foo'] >= "
162 ".4", -1, 1, SDB_CONNECTION_LOOKUP },
163 { "LOOKUP hosts MATCHING "
164 "attribute['foo'] = "
165 "+12e3", -1, 1, SDB_CONNECTION_LOOKUP },
166 { "LOOKUP hosts MATCHING "
167 "attribute['foo'] = "
168 "+12e-3", -1, 1, SDB_CONNECTION_LOOKUP },
169 { "LOOKUP hosts MATCHING "
170 "attribute['foo'] = "
171 "-12e+3", -1, 1, SDB_CONNECTION_LOOKUP },
173 /* date, time, interval constants */
174 { "LOOKUP hosts MATCHING "
175 "attribute['foo'] = "
176 "1 Y 42D", -1, 1, SDB_CONNECTION_LOOKUP },
177 { "LOOKUP hosts MATCHING "
178 "attribute['foo'] = "
179 "1s 42D", -1, 1, SDB_CONNECTION_LOOKUP },
180 /*
181 * TODO: Something like 1Y42D should work as well but it doesn't since
182 * the scanner will tokenize it into {digit}{identifier} :-/
183 *
184 { "LOOKUP hosts MATCHING "
185 "attribute['foo'] = "
186 "1Y42D", -1, 1, SDB_CONNECTION_LOOKUP },
187 */
189 /* NULL */
190 { "LOOKUP hosts MATCHING "
191 "attribute['foo'] "
192 "IS NULL", -1, 1, SDB_CONNECTION_LOOKUP },
193 { "LOOKUP hosts MATCHING "
194 "attribute['foo'] "
195 "IS NOT NULL", -1, 1, SDB_CONNECTION_LOOKUP },
196 { "LOOKUP hosts MATCHING "
197 "NOT attribute['foo'] "
198 "IS NULL", -1, 1, SDB_CONNECTION_LOOKUP },
199 { "LOOKUP hosts MATCHING "
200 "ANY service IS NULL", -1, -1, 0 },
202 /* invalid numeric constants */
203 { "LOOKUP hosts MATCHING "
204 "attribute['foo'] = "
205 "+-12e+3", -1, -1, 0 },
206 { "LOOKUP hosts MATCHING "
207 "attribute['foo'] = "
208 "-12e-+3", -1, -1, 0 },
209 { "LOOKUP hosts MATCHING "
210 "attribute['foo'] = "
211 "e+3", -1, -1, 0 },
212 { "LOOKUP hosts MATCHING "
213 "attribute['foo'] = "
214 "3e", -1, -1, 0 },
215 /* following SQL standard, we don't support hex numbers */
216 { "LOOKUP hosts MATCHING "
217 "attribute['foo'] = "
218 "0x12", -1, -1, 0 },
220 /* invalid expressions */
221 { "LOOKUP hosts MATCHING "
222 "attribute['foo'] = "
223 "1.23 + 'foo'", -1, -1, 0 },
224 { "LOOKUP hosts MATCHING "
225 "attr['foo'] = 1.23", -1, -1, 0 },
226 { "LOOKUP hosts MATCHING "
227 "attr['foo'] IS NULL", -1, -1, 0 },
229 /* comments */
230 { "/* some comment */", -1, 0, 0 },
231 { "-- another comment", -1, 0, 0 },
233 /* syntax errors */
234 { "INVALID", -1, -1, 0 },
235 { "FETCH host", -1, -1, 0 },
236 { "FETCH 'host'", -1, -1, 0 },
237 { "LIST hosts; INVALID", -1, -1, 0 },
238 { "/* some incomplete", -1, -1, 0 },
240 /* invalid commands */
241 { "LIST", -1, -1, 0 },
242 { "LIST foo", -1, -1, 0 },
243 { "LIST hosts MATCHING "
244 "name = 'host'", -1, -1, 0 },
245 { "LIST foo FILTER "
246 "age > 60s", -1, -1, 0 },
247 { "FETCH host 'host' MATCHING "
248 "name = 'host'", -1, -1, 0 },
249 { "FETCH service 'host'",-1, -1, 0 },
250 { "FETCH metric 'host'", -1, -1, 0 },
251 { "FETCH host "
252 "'host'.'localhost'", -1, -1, 0 },
253 { "FETCH foo 'host'", -1, -1, 0 },
254 { "FETCH foo 'host' FILTER "
255 "age > 60s", -1, -1, 0 },
257 { "LOOKUP foo", -1, -1, 0 },
258 { "LOOKUP foo MATCHING "
259 "name = 'host'", -1, -1, 0 },
260 { "LOOKUP foo FILTER "
261 "age > 60s", -1, -1, 0 },
262 { "LOOKUP foo MATCHING "
263 "name = 'host' FILTER "
264 "age > 60s", -1, -1, 0 },
265 { "LOOKUP hosts MATCHING "
266 "attribute['foo'] <= "
267 "f || 'oo'", -1, -1, 0 },
268 { "LOOKUP hosts MATCHING "
269 "attribute['foo'] <= "
270 "'f' || oo", -1, -1, 0 },
271 { "LOOKUP hosts MATCHING "
272 "ANY host = 'host'", -1, -1, 0 },
273 { "LOOKUP services MATCHING "
274 "ANY host = 'host'", -1, -1, 0 },
275 { "LOOKUP services MATCHING "
276 "ANY service = 'svc'", -1, -1, 0 },
277 { "LOOKUP services MATCHING "
278 "ANY metric = 'm'", -1, -1, 0 },
279 { "LOOKUP metrics MATCHING "
280 "ANY host = 'host'", -1, -1, 0 },
281 { "LOOKUP metrics MATCHING "
282 "ANY service = 'svc'", -1, -1, 0 },
283 { "LOOKUP metrics MATCHING "
284 "ANY metric = 'm'", -1, -1, 0 },
285 };
287 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
288 sdb_llist_t *check;
290 size_t i;
292 for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
293 sdb_object_t *obj;
294 _Bool ok;
296 check = sdb_fe_parse(golden_data[i].query,
297 golden_data[i].len, errbuf);
298 if (golden_data[i].expected < 0)
299 ok = check == 0;
300 else
301 ok = sdb_llist_len(check) == (size_t)golden_data[i].expected;
303 fail_unless(ok, "sdb_fe_parse(%s) = %p (len: %zu); expected: %d "
304 "(parser error: %s)", golden_data[i].query, check,
305 sdb_llist_len(check), golden_data[i].expected,
306 sdb_strbuf_string(errbuf));
308 if (! check)
309 continue;
311 if ((! golden_data[i].expected_cmd)
312 || (golden_data[i].expected <= 0)) {
313 sdb_llist_destroy(check);
314 continue;
315 }
317 obj = sdb_llist_get(check, 0);
318 fail_unless(SDB_CONN_NODE(obj)->cmd == golden_data[i].expected_cmd,
319 "sdb_fe_parse(%s)->cmd = %i; expected: %d",
320 golden_data[i].query, SDB_CONN_NODE(obj)->cmd,
321 golden_data[i].expected_cmd);
322 sdb_object_deref(obj);
323 sdb_llist_destroy(check);
324 }
326 sdb_strbuf_destroy(errbuf);
327 }
328 END_TEST
330 START_TEST(test_parse_matcher)
331 {
332 struct {
333 const char *expr;
334 int len;
335 int expected;
336 } golden_data[] = {
337 /* empty expressions */
338 { NULL, -1, -1 },
339 { "", -1, -1 },
341 /* match hosts by name */
342 { "name < 'localhost'", -1, MATCHER_LT },
343 { "name <= 'localhost'", -1, MATCHER_LE },
344 { "name = 'localhost'", -1, MATCHER_EQ },
345 { "name != 'localhost'", -1, MATCHER_NE },
346 { "name >= 'localhost'", -1, MATCHER_GE },
347 { "name > 'localhost'", -1, MATCHER_GT },
348 { "name =~ 'host'", -1, MATCHER_REGEX },
349 { "name !~ 'host'", -1, MATCHER_NREGEX },
350 { "name = 'localhost' -- foo", -1, MATCHER_EQ },
351 { "name = 'host' <garbage>", 13, MATCHER_EQ },
352 { "name &^ 'localhost'", -1, -1 },
353 /* match by backend */
354 { "ANY backend < 'be'", -1, MATCHER_ANY },
355 { "ANY backend <= 'be'", -1, MATCHER_ANY },
356 { "ANY backend = 'be'", -1, MATCHER_ANY },
357 { "ANY backend != 'be'", -1, MATCHER_ANY },
358 { "ANY backend >= 'be'", -1, MATCHER_ANY },
359 { "ANY backend > 'be'", -1, MATCHER_ANY },
360 { "ALL backend < 'be'", -1, MATCHER_ALL },
361 { "ALL backend <= 'be'", -1, MATCHER_ALL },
362 { "ALL backend = 'be'", -1, MATCHER_ALL },
363 { "ALL backend != 'be'", -1, MATCHER_ALL },
364 { "ALL backend >= 'be'", -1, MATCHER_ALL },
365 { "ALL backend > 'be'", -1, MATCHER_ALL },
366 { "ANY backend &^ 'be'", -1, -1 },
367 /* match hosts by service */
368 { "ANY service < 'name'", -1, MATCHER_ANY },
369 { "ANY service <= 'name'", -1, MATCHER_ANY },
370 { "ANY service = 'name'", -1, MATCHER_ANY },
371 { "ANY service != 'name'", -1, MATCHER_ANY },
372 { "ANY service >= 'name'", -1, MATCHER_ANY },
373 { "ANY service > 'name'", -1, MATCHER_ANY },
374 { "ANY service =~ 'pattern'", -1, MATCHER_ANY },
375 { "ANY service !~ 'pattern'", -1, MATCHER_ANY },
376 { "ANY service &^ 'name'", -1, -1 },
377 { "ALL service < 'name'", -1, MATCHER_ALL },
378 { "ALL service <= 'name'", -1, MATCHER_ALL },
379 { "ALL service = 'name'", -1, MATCHER_ALL },
380 { "ALL service != 'name'", -1, MATCHER_ALL },
381 { "ALL service >= 'name'", -1, MATCHER_ALL },
382 { "ALL service > 'name'", -1, MATCHER_ALL },
383 { "ALL service =~ 'pattern'", -1, MATCHER_ALL },
384 { "ALL service !~ 'pattern'", -1, MATCHER_ALL },
385 { "ALL service &^ 'name'", -1, -1 },
386 /* match hosts by metric */
387 { "ANY metric < 'name'", -1, MATCHER_ANY },
388 { "ANY metric <= 'name'", -1, MATCHER_ANY },
389 { "ANY metric = 'name'", -1, MATCHER_ANY },
390 { "ANY metric != 'name'", -1, MATCHER_ANY },
391 { "ANY metric >= 'name'", -1, MATCHER_ANY },
392 { "ANY metric > 'name'", -1, MATCHER_ANY },
393 { "ANY metric =~ 'pattern'", -1, MATCHER_ANY },
394 { "ANY metric !~ 'pattern'", -1, MATCHER_ANY },
395 { "ANY metric &^ 'pattern'", -1, -1 },
396 { "ALL metric < 'name'", -1, MATCHER_ALL },
397 { "ALL metric <= 'name'", -1, MATCHER_ALL },
398 { "ALL metric = 'name'", -1, MATCHER_ALL },
399 { "ALL metric != 'name'", -1, MATCHER_ALL },
400 { "ALL metric >= 'name'", -1, MATCHER_ALL },
401 { "ALL metric > 'name'", -1, MATCHER_ALL },
402 { "ALL metric =~ 'pattern'", -1, MATCHER_ALL },
403 { "ALL metric !~ 'pattern'", -1, MATCHER_ALL },
404 { "ALL metric &^ 'pattern'", -1, -1 },
405 /* match hosts by attribute */
406 { "ANY attribute < 'name'", -1, MATCHER_ANY },
407 { "ANY attribute <= 'name'", -1, MATCHER_ANY },
408 { "ANY attribute = 'name'", -1, MATCHER_ANY },
409 { "ANY attribute != 'name'", -1, MATCHER_ANY },
410 { "ANY attribute >= 'name'", -1, MATCHER_ANY },
411 { "ANY attribute > 'name'", -1, MATCHER_ANY },
412 { "ANY attribute =~ 'pattern'", -1, MATCHER_ANY },
413 { "ANY attribute !~ 'pattern'", -1, MATCHER_ANY },
414 { "ANY attribute &^ 'pattern'", -1, -1 },
415 { "ALL attribute < 'name'", -1, MATCHER_ALL },
416 { "ALL attribute <= 'name'", -1, MATCHER_ALL },
417 { "ALL attribute = 'name'", -1, MATCHER_ALL },
418 { "ALL attribute != 'name'", -1, MATCHER_ALL },
419 { "ALL attribute >= 'name'", -1, MATCHER_ALL },
420 { "ALL attribute > 'name'", -1, MATCHER_ALL },
421 { "ALL attribute =~ 'pattern'", -1, MATCHER_ALL },
422 { "ALL attribute !~ 'pattern'", -1, MATCHER_ALL },
423 { "ALL attribute &^ 'pattern'", -1, -1 },
424 /* composite expressions */
425 { "name =~ 'pattern' AND "
426 "ANY service =~ 'pattern'", -1, MATCHER_AND },
427 { "name =~ 'pattern' OR "
428 "ANY service =~ 'pattern'", -1, MATCHER_OR },
429 { "NOT name = 'host'", -1, MATCHER_NOT },
430 /* numeric expressions */
431 { "attribute['foo'] < 123", -1, MATCHER_LT },
432 { "attribute['foo'] <= 123", -1, MATCHER_LE },
433 { "attribute['foo'] = 123", -1, MATCHER_EQ },
434 { "attribute['foo'] >= 123", -1, MATCHER_GE },
435 { "attribute['foo'] > 123", -1, MATCHER_GT },
436 /* datetime expressions */
437 { "attribute['foo'] = "
438 "2014-08-16", -1, MATCHER_EQ },
439 { "attribute['foo'] = "
440 "17:23", -1, MATCHER_EQ },
441 { "attribute['foo'] = "
442 "17:23:53", -1, MATCHER_EQ },
443 { "attribute['foo'] = "
444 "17:23:53.123", -1, MATCHER_EQ },
445 { "attribute['foo'] = "
446 "17:23:53.123456789", -1, MATCHER_EQ },
447 { "attribute['foo'] = "
448 "2014-08-16 17:23", -1, MATCHER_EQ },
449 { "attribute['foo'] = "
450 "2014-08-16 17:23:53", -1, MATCHER_EQ },
451 /* NULL; while this is an implementation detail,
452 * IS NULL currently maps to an equality matcher */
453 { "attribute['foo'] IS NULL", -1, MATCHER_ISNULL },
454 { "attribute['foo'] IS NOT NULL", -1, MATCHER_ISNNULL },
456 /* object field matchers */
457 { "name < 'a'", -1, MATCHER_LT },
458 { "name <= 'a'", -1, MATCHER_LE },
459 { "name = 'a'", -1, MATCHER_EQ },
460 { "name != 'a'", -1, MATCHER_NE },
461 { "name >= 'a'", -1, MATCHER_GE },
462 { "name > 'a'", -1, MATCHER_GT },
463 { "last_update < 2014-10-01", -1, MATCHER_LT },
464 { "last_update <= 2014-10-01", -1, MATCHER_LE },
465 { "last_update = 2014-10-01", -1, MATCHER_EQ },
466 { "last_update != 2014-10-01", -1, MATCHER_NE },
467 { "last_update >= 2014-10-01", -1, MATCHER_GE },
468 { "last_update > 2014-10-01", -1, MATCHER_GT },
469 { "Last_Update >= 24D", -1, MATCHER_GE },
470 { "age < 20s", -1, MATCHER_LT },
471 { "age <= 20s", -1, MATCHER_LE },
472 { "age = 20s", -1, MATCHER_EQ },
473 { "age != 20s", -1, MATCHER_NE },
474 { "age >= 20s", -1, MATCHER_GE },
475 { "age > 20s", -1, MATCHER_GT },
476 { "AGE <= 1m", -1, MATCHER_LE },
477 { "age > 1M", -1, MATCHER_GT },
478 { "age != 20Y", -1, MATCHER_NE },
479 { "age <= 2 * interval", -1, MATCHER_LE },
480 { "interval < 20s", -1, MATCHER_LT },
481 { "interval <= 20s", -1, MATCHER_LE },
482 { "interval = 20s", -1, MATCHER_EQ },
483 { "interval != 20s", -1, MATCHER_NE },
484 { "interval >= 20s", -1, MATCHER_GE },
485 { "interval > 20s", -1, MATCHER_GT },
486 { "'be' IN backend", -1, MATCHER_IN },
488 /* check operator precedence */
489 { "name = 'name' OR "
490 "ANY service = 'name' AND "
491 "ANY attribute = 'name' OR "
492 "attribute['foo'] = 'bar'", -1, MATCHER_OR },
493 { "name = 'name' AND "
494 "ANY service = 'name' AND "
495 "ANY attribute = 'name' OR "
496 "attribute['foo'] = 'bar'", -1, MATCHER_OR },
497 { "name = 'name' AND "
498 "ANY service = 'name' OR "
499 "ANY attribute = 'name' AND "
500 "attribute['foo'] = 'bar'", -1, MATCHER_OR },
501 { "(name = 'name' OR "
502 "ANY service = 'name') AND "
503 "(ANY attribute = 'name' OR "
504 "attribute['foo'] = 'bar')", -1, MATCHER_AND },
505 { "NOT name = 'name' OR "
506 "ANY service = 'name'", -1, MATCHER_OR },
507 { "NOT name = 'name' OR "
508 "NOT ANY service = 'name'", -1, MATCHER_OR },
509 { "NOT (name = 'name' OR "
510 "NOT ANY service = 'name')", -1, MATCHER_NOT },
512 /* syntax errors */
513 { "LIST", -1, -1 },
514 { "foo &^ bar", -1, -1 },
515 { "invalid", -1, -1 },
516 };
518 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
519 size_t i;
521 for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
522 sdb_store_matcher_t *m;
523 m = sdb_fe_parse_matcher(golden_data[i].expr,
524 golden_data[i].len, errbuf);
526 if (golden_data[i].expected < 0) {
527 fail_unless(m == NULL,
528 "sdb_fe_parse_matcher(%s) = %p; expected: NULL",
529 golden_data[i].expr, m);
530 continue;
531 }
533 fail_unless(m != NULL, "sdb_fe_parse_matcher(%s) = NULL; "
534 "expected: <matcher> (parser error: %s)",
535 golden_data[i].expr, sdb_strbuf_string(errbuf));
536 fail_unless(M(m)->type == golden_data[i].expected,
537 "sdb_fe_parse_matcher(%s) returned matcher of type %d; "
538 "expected: %d", golden_data[i].expr, M(m)->type,
539 golden_data[i].expected);
541 sdb_object_deref(SDB_OBJ(m));
542 }
544 sdb_strbuf_destroy(errbuf);
545 }
546 END_TEST
548 START_TEST(test_parse_expr)
549 {
550 struct {
551 const char *expr;
552 int len;
553 int expected;
554 } golden_data[] = {
555 /* empty expressions */
556 { NULL, -1, INT_MAX },
557 { "", -1, INT_MAX },
559 /* constant expressions */
560 { "'localhost'", -1, 0 },
561 { "123", -1, 0 },
562 { "2014-08-16", -1, 0 },
563 { "17:23", -1, 0 },
564 { "17:23:53", -1, 0 },
565 { "17:23:53.123", -1, 0 },
566 { "17:23:53.123456789", -1, 0 },
567 { "2014-08-16 17:23", -1, 0 },
568 { "2014-08-16 17:23:53", -1, 0 },
569 { "10s", -1, 0 },
570 { "60m", -1, 0 },
571 { "10Y 24D 1h", -1, 0 },
573 { "123 + 456", -1, 0 },
574 { "'foo' || 'bar'", -1, 0 },
575 { "456 - 123", -1, 0 },
576 { "1.2 * 3.4", -1, 0 },
577 { "1.2 / 3.4", -1, 0 },
578 { "5 % 2", -1, 0 },
580 /* queryable fields */
581 { "last_update", -1, FIELD_VALUE },
582 { "AGE", -1, FIELD_VALUE },
583 { "interval", -1, FIELD_VALUE },
584 { "Last_Update", -1, FIELD_VALUE },
585 { "backend", -1, FIELD_VALUE },
587 /* attributes */
588 { "attribute['foo']", -1, ATTR_VALUE },
590 /* arithmetic expressions */
591 { "age + age", -1, SDB_DATA_ADD },
592 { "age - age", -1, SDB_DATA_SUB },
593 { "age * age", -1, SDB_DATA_MUL },
594 { "age / age", -1, SDB_DATA_DIV },
595 { "age % age", -1, SDB_DATA_MOD },
596 { "age || age", -1, SDB_DATA_CONCAT },
598 /* operator precedence */
599 { "age + age * age", -1, SDB_DATA_ADD },
600 { "age * age + age", -1, SDB_DATA_ADD },
601 { "age + age - age", -1, SDB_DATA_SUB },
602 { "age - age + age", -1, SDB_DATA_ADD },
603 { "(age + age) * age", -1, SDB_DATA_MUL },
604 { "age + (age * age)", -1, SDB_DATA_ADD },
606 /* syntax errors */
607 { "LIST", -1, INT_MAX },
608 { "foo &^ bar", -1, INT_MAX },
609 { "invalid", -1, INT_MAX },
610 };
612 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
613 size_t i;
615 for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
616 sdb_store_expr_t *e;
617 e = sdb_fe_parse_expr(golden_data[i].expr,
618 golden_data[i].len, errbuf);
620 if (golden_data[i].expected == INT_MAX) {
621 fail_unless(e == NULL,
622 "sdb_fe_parse_expr(%s) = %p; expected: NULL",
623 golden_data[i].expr, e);
624 continue;
625 }
627 fail_unless(e != NULL, "sdb_fe_parse_expr(%s) = NULL; "
628 "expected: <expr> (parser error: %s)",
629 golden_data[i].expr, sdb_strbuf_string(errbuf));
630 fail_unless(e->type == golden_data[i].expected,
631 "sdb_fe_parse_expr(%s) returned expression of type %d; "
632 "expected: %d", golden_data[i].expr, e->type,
633 golden_data[i].expected);
635 sdb_object_deref(SDB_OBJ(e));
636 }
638 sdb_strbuf_destroy(errbuf);
639 }
640 END_TEST
642 Suite *
643 fe_parser_suite(void)
644 {
645 Suite *s = suite_create("frontend::parser");
646 TCase *tc;
648 tc = tcase_create("core");
649 tcase_add_test(tc, test_parse);
650 tcase_add_test(tc, test_parse_matcher);
651 tcase_add_test(tc, test_parse_expr);
652 suite_add_tcase(s, tc);
654 return s;
655 } /* util_parser_suite */
657 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */