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