1 /*
2 * SysDB - t/unit/parser/parser_test.c
3 * Copyright (C) 2013-2015 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 #if HAVE_CONFIG_H
29 # include "config.h"
30 #endif
32 #include "parser/parser.h"
33 #include "core/object.h"
34 #include "testutils.h"
36 #include <check.h>
37 #include <limits.h>
39 /*
40 * tests
41 */
43 struct {
44 const char *query;
45 int len;
46 int expected;
47 int expected_type;
48 int expected_extra; /* type-specific extra information */
49 } parse_data[] = {
50 /* empty commands */
51 { NULL, -1, -1, 0, 0 },
52 { "", -1, 0, 0, 0 },
53 { ";", -1, 0, 0, 0 },
54 { ";;", -1, 0, 0, 0 },
56 /* FETCH commands */
57 { "FETCH host 'host'", -1, 1, SDB_AST_TYPE_FETCH, SDB_HOST },
58 { "FETCH host 'host' FILTER "
59 "age > 60s", -1, 1, SDB_AST_TYPE_FETCH, SDB_HOST },
60 { "FETCH service "
61 "'host'.'service'", -1, 1, SDB_AST_TYPE_FETCH, SDB_SERVICE },
62 { "FETCH metric "
63 "'host'.'metric'", -1, 1, SDB_AST_TYPE_FETCH, SDB_METRIC },
65 /* LIST commands */
66 { "LIST hosts", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
67 { "LIST hosts -- foo", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
68 { "LIST hosts;", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
69 { "LIST hosts; INVALID", 11, 1, SDB_AST_TYPE_LIST, SDB_HOST },
70 { "LIST hosts FILTER "
71 "age > 60s", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
72 { "LIST services", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
73 { "LIST services FILTER "
74 "age > 60s", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
75 { "LIST metrics", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
76 { "LIST metrics FILTER "
77 "age > 60s", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
78 /* field access */
79 { "LIST hosts FILTER "
80 "name = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
81 { "LIST hosts FILTER "
82 "last_update > 1s", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
83 { "LIST hosts FILTER "
84 "age > 120s", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
85 { "LIST hosts FILTER "
86 "interval > 10s", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
87 { "LIST hosts FILTER "
88 "backend = ['b']", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
89 { "LIST hosts FILTER ANY "
90 "attribute.value = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_HOST },
91 { "LIST services FILTER "
92 "name = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
93 { "LIST services FILTER "
94 "last_update > 1s", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
95 { "LIST services FILTER "
96 "age > 120s", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
97 { "LIST services FILTER "
98 "interval > 10s", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
99 { "LIST services FILTER "
100 "backend = ['b']", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
101 { "LIST services FILTER ANY "
102 "attribute.value = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_SERVICE },
103 { "LIST metrics FILTER "
104 "name = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
105 { "LIST metrics FILTER "
106 "last_update > 1s", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
107 { "LIST metrics FILTER "
108 "age > 120s", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
109 { "LIST metrics FILTER "
110 "interval > 10s", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
111 { "LIST metrics FILTER "
112 "backend = ['b']", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
113 { "LIST metrics FILTER ANY "
114 "attribute.value = 'a'", -1, 1, SDB_AST_TYPE_LIST, SDB_METRIC },
116 /* LOOKUP commands */
117 { "LOOKUP hosts", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
118 { "LOOKUP hosts MATCHING "
119 "name = 'host'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
120 { "LOOKUP hosts MATCHING NOT "
121 "name = 'host'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
122 { "LOOKUP hosts MATCHING "
123 "name =~ 'p' AND "
124 "ANY service.name =~ 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
125 { "LOOKUP hosts MATCHING NOT "
126 "name =~ 'p' AND "
127 "ANY service.name =~ 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
128 { "LOOKUP hosts MATCHING "
129 "name =~ 'p' AND "
130 "ANY service.name =~ 'p' OR "
131 "ANY service.name =~ 'r'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
132 { "LOOKUP hosts MATCHING NOT "
133 "name =~ 'p' AND "
134 "ANY service.name =~ 'p' OR "
135 "ANY service.name =~ 'r'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
136 { "LOOKUP hosts MATCHING "
137 "name =~ 'p' "
138 "FILTER age > 1D", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
139 { "LOOKUP hosts MATCHING "
140 "name =~ 'p' "
141 "FILTER age > 1D AND "
142 "interval < 240s" , -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
143 { "LOOKUP hosts MATCHING "
144 "name =~ 'p' "
145 "FILTER NOT age>1D", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
146 { "LOOKUP hosts MATCHING "
147 "name =~ 'p' "
148 "FILTER age>"
149 "interval", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
150 { "LOOKUP hosts MATCHING "
151 "host.name =~ 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
152 { "LOOKUP services", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
153 { "LOOKUP services MATCHING ANY "
154 "attribute.name =~ 'a'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
155 { "LOOKUP services MATCHING "
156 "host.name = 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
157 { "LOOKUP services MATCHING "
158 "service.name = 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
159 { "LOOKUP metrics", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_METRIC },
160 { "LOOKUP metrics MATCHING ANY "
161 "attribute.name =~ 'a'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_METRIC },
162 { "LOOKUP metrics MATCHING "
163 "host.name = 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_METRIC },
164 { "LOOKUP metrics MATCHING "
165 "metric.name = 'p'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_METRIC },
167 /* TIMESERIES commands */
168 { "TIMESERIES 'host'.'metric' "
169 "START 2014-01-01 "
170 "END 2014-12-31 "
171 "23:59:59", -1, 1, SDB_AST_TYPE_TIMESERIES, 0 },
172 { "TIMESERIES 'host'.'metric' "
173 "START 2014-02-02 "
174 "14:02", -1, 1, SDB_AST_TYPE_TIMESERIES, 0 },
175 { "TIMESERIES 'host'.'metric' "
176 "END 2014-02-02", -1, 1, SDB_AST_TYPE_TIMESERIES, 0 },
177 { "TIMESERIES "
178 "'host'.'metric'", -1, 1, SDB_AST_TYPE_TIMESERIES, 0 },
180 /* STORE commands */
181 { "STORE host 'host'", -1, 1, SDB_AST_TYPE_STORE, SDB_HOST },
182 { "STORE host 'host' "
183 "LAST UPDATE "
184 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_HOST },
185 { "STORE host attribute "
186 "'host'.'key' 123", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
187 { "STORE host attribute "
188 "'host'.'key' 123 "
189 "LAST UPDATE "
190 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
191 { "STORE service "
192 "'host'.'svc'", -1, 1, SDB_AST_TYPE_STORE, SDB_SERVICE },
193 { "STORE service "
194 "'host'.'svc' "
195 "LAST UPDATE "
196 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_SERVICE },
197 { "STORE service attribute "
198 "'host'.'svc'.'key' "
199 "123", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
200 { "STORE service attribute "
201 "'host'.'svc'.'key' "
202 "123 "
203 "LAST UPDATE "
204 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
205 { "STORE metric "
206 "'host'.'metric'", -1, 1, SDB_AST_TYPE_STORE, SDB_METRIC },
207 { "STORE metric "
208 "'host'.'metric' "
209 "LAST UPDATE "
210 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_METRIC },
211 { "STORE metric "
212 "'host'.'metric' "
213 "STORE 'typ' 'id' "
214 "LAST UPDATE "
215 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_METRIC },
216 { "STORE metric attribute "
217 "'host'.'metric'.'key' "
218 "123", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
219 { "STORE metric attribute "
220 "'host'.'metric'.'key' "
221 "123 "
222 "LAST UPDATE "
223 "2015-02-01", -1, 1, SDB_AST_TYPE_STORE, SDB_ATTRIBUTE },
225 /* string constants */
226 { "LOOKUP hosts MATCHING "
227 "name = ''''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
228 { "LOOKUP hosts MATCHING "
229 "name = '''foo'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
230 { "LOOKUP hosts MATCHING "
231 "name = 'f''oo'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
232 { "LOOKUP hosts MATCHING "
233 "name = 'foo'''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
234 { "LOOKUP hosts MATCHING "
235 "name = '''", -1, -1, 0, SDB_HOST },
237 /* numeric constants */
238 { "LOOKUP hosts MATCHING "
239 "attribute['foo'] = "
240 "1234", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
241 { "LOOKUP hosts MATCHING "
242 "attribute['foo'] != "
243 "+234", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
244 { "LOOKUP hosts MATCHING "
245 "attribute['foo'] < "
246 "-234", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
247 { "LOOKUP hosts MATCHING "
248 "attribute['foo'] > "
249 "12.4", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
250 { "LOOKUP hosts MATCHING "
251 "attribute['foo'] <= "
252 "12. + .3", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
253 { "LOOKUP hosts MATCHING "
254 "attribute['foo'] <= "
255 "'f' || 'oo'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
256 { "LOOKUP hosts MATCHING "
257 "attribute['foo'] >= "
258 ".4", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
259 { "LOOKUP hosts MATCHING "
260 "attribute['foo'] = "
261 "+12e3", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
262 { "LOOKUP hosts MATCHING "
263 "attribute['foo'] = "
264 "+12e-3", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
265 { "LOOKUP hosts MATCHING "
266 "attribute['foo'] = "
267 "-12e+3", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
269 /* date, time, interval constants */
270 { "LOOKUP hosts MATCHING "
271 "attribute['foo'] = "
272 "1 Y 42D", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
273 { "LOOKUP hosts MATCHING "
274 "attribute['foo'] = "
275 "1s 42D", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
276 /*
277 * TODO: Something like 1Y42D should work as well but it doesn't since
278 * the scanner will tokenize it into {digit}{identifier} :-/
279 *
280 { "LOOKUP hosts MATCHING "
281 "attribute['foo'] = "
282 "1Y42D", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
283 */
285 /* array constants */
286 { "LOOKUP hosts MATCHING "
287 "backend = ['foo']", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
288 { "LOOKUP hosts MATCHING "
289 "backend = ['a','b']", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
291 /* array iteration */
292 { "LOOKUP hosts MATCHING "
293 "'foo' IN backend", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
294 { "LOOKUP hosts MATCHING 'foo' "
295 "NOT IN backend", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
296 { "LOOKUP hosts MATCHING "
297 "['foo','bar'] "
298 "IN backend ", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
299 /* attribute type is unknown */
300 { "LOOKUP hosts MATCHING "
301 "attribute['backend'] "
302 "IN backend ", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
303 { "LOOKUP hosts MATCHING "
304 "ANY backend < 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
305 { "LOOKUP hosts MATCHING "
306 "ANY backend <= 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
307 { "LOOKUP hosts MATCHING "
308 "ANY backend = 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
309 { "LOOKUP hosts MATCHING "
310 "ANY backend != 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
311 { "LOOKUP hosts MATCHING "
312 "ANY backend >= 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
313 { "LOOKUP hosts MATCHING "
314 "ANY backend > 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
315 { "LOOKUP hosts MATCHING "
316 "ANY backend =~ 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
317 { "LOOKUP hosts MATCHING "
318 "ANY backend !~ 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
319 { "LOOKUP hosts MATCHING "
320 "ALL backend < 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
321 { "LOOKUP hosts MATCHING "
322 "ALL backend <= 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
323 { "LOOKUP hosts MATCHING "
324 "ALL backend = 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
325 { "LOOKUP hosts MATCHING "
326 "ALL backend != 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
327 { "LOOKUP hosts MATCHING "
328 "ALL backend >= 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
329 { "LOOKUP hosts MATCHING "
330 "ALL backend > 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
331 { "LOOKUP hosts MATCHING "
332 "ALL backend =~ 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
333 { "LOOKUP hosts MATCHING "
334 "ALL backend !~ 'b'", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
335 /* attribute type is unknown */
336 { "LOOKUP hosts MATCHING "
337 "ANY backend = attribute['backend']",
338 -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
340 /* valid operand types */
341 { "LOOKUP hosts MATCHING "
342 "age * 1 > 0s", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
343 { "LOOKUP hosts MATCHING "
344 "age / 1 > 0s", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
345 { "LOOKUP hosts MATCHING "
346 "name > ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
347 { "LOOKUP hosts MATCHING "
348 "name >= ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
349 { "LOOKUP hosts MATCHING "
350 "name != ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
351 { "LOOKUP hosts MATCHING "
352 "name = ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
353 { "LOOKUP hosts MATCHING "
354 "name <= ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
355 { "LOOKUP hosts MATCHING "
356 "name < ''", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
358 /* NULL */
359 { "LOOKUP hosts MATCHING "
360 "attribute['foo'] "
361 "IS NULL", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
362 { "LOOKUP hosts MATCHING "
363 "attribute['foo'] "
364 "IS NOT NULL", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
365 { "LOOKUP hosts MATCHING "
366 "NOT attribute['foo'] "
367 "IS NULL", -1, 1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
368 { "LOOKUP hosts MATCHING "
369 "ANY service.name IS NULL", -1, -1, 0, 0 },
371 /* invalid numeric constants */
372 { "LOOKUP hosts MATCHING "
373 "attribute['foo'] = "
374 "+-12e+3", -1, -1, 0, 0 },
375 { "LOOKUP hosts MATCHING "
376 "attribute['foo'] = "
377 "-12e-+3", -1, -1, 0, 0 },
378 { "LOOKUP hosts MATCHING "
379 "attribute['foo'] = "
380 "e+3", -1, -1, 0, 0 },
381 { "LOOKUP hosts MATCHING "
382 "attribute['foo'] = "
383 "3e", -1, -1, 0, 0 },
384 /* following SQL standard, we don't support hex numbers */
385 { "LOOKUP hosts MATCHING "
386 "attribute['foo'] = "
387 "0x12", -1, -1, 0, 0 },
389 /* invalid expressions */
390 { "LOOKUP hosts MATCHING "
391 "attr['foo'] = 1.23", -1, -1, 0, 0 },
392 { "LOOKUP hosts MATCHING "
393 "attr['foo'] IS NULL", -1, -1, 0, 0 },
395 /* comments */
396 { "/* some comment */", -1, 0, 0, 0 },
397 { "-- another comment", -1, 0, 0, 0 },
399 /* syntax errors */
400 { "INVALID", -1, -1, 0, 0 },
401 { "FETCH host", -1, -1, 0, 0 },
402 { "FETCH 'host'", -1, -1, 0, 0 },
403 { "LIST hosts; INVALID", -1, -1, 0, 0 },
404 { "/* some incomplete", -1, -1, 0, 0 },
406 /*
407 * syntactically correct but semantically invalid commands
408 */
410 #if 0
411 /* invalid fields */
412 { "LIST hosts FILTER "
413 "value = 'a'", -1, -1, 0, 0 },
414 { "LIST services FILTER "
415 "value = 'a'", -1, -1, 0, 0 },
416 { "LIST metrics FILTER "
417 "value = 'a'", -1, -1, 0, 0 },
419 /* type mismatches */
420 { "LOOKUP hosts MATCHING "
421 "attribute['foo'] = "
422 "1.23 + 'foo'", -1, -1, 0, 0 },
423 { "LOOKUP hosts MATCHING "
424 "1 IN backend ", -1, -1, 0, 0 },
425 { "LOOKUP hosts MATCHING "
426 "1 NOT IN backend ", -1, -1, 0, 0 },
427 { "LOOKUP hosts MATCHING "
428 "ANY backend !~ backend",
429 -1, -1, 0, 0 },
430 { "LOOKUP hosts MATCHING "
431 "ANY backend = 1", -1, -1, 0, 0 },
432 { "LOOKUP hosts MATCHING "
433 "age > 0", -1, -1, 0, 0 },
434 { "LOOKUP hosts MATCHING "
435 "NOT age > 0", -1, -1, 0, 0 },
436 { "LOOKUP hosts MATCHING "
437 "age >= 0", -1, -1, 0, 0 },
438 { "LOOKUP hosts MATCHING "
439 "age = 0", -1, -1, 0, 0 },
440 { "LOOKUP hosts MATCHING "
441 "age != 0", -1, -1, 0, 0 },
442 { "LOOKUP hosts MATCHING "
443 "age <= 0", -1, -1, 0, 0 },
444 { "LOOKUP hosts MATCHING "
445 "age < 0", -1, -1, 0, 0 },
446 { "LOOKUP hosts MATCHING "
447 "age + 1 > 0s", -1, -1, 0, 0 },
448 { "LOOKUP hosts MATCHING "
449 "age - 1 > 0s", -1, -1, 0, 0 },
450 /* datetime <mul/div> integer is allowed */
451 { "LOOKUP hosts MATCHING "
452 "age || 1 > 0s", -1, -1, 0, 0 },
453 { "LOOKUP hosts MATCHING "
454 "name + 1 = ''", -1, -1, 0, 0 },
455 { "LOOKUP hosts MATCHING "
456 "name - 1 = ''", -1, -1, 0, 0 },
457 { "LOOKUP hosts MATCHING "
458 "name * 1 = ''", -1, -1, 0, 0 },
459 { "LOOKUP hosts MATCHING "
460 "name / 1 = ''", -1, -1, 0, 0 },
461 { "LOOKUP hosts MATCHING "
462 "name % 1 = ''", -1, -1, 0, 0 },
463 { "LOOKUP hosts MATCHING "
464 "(name % 1) + 1 = ''", -1, -1, 0, 0 },
465 { "LOOKUP hosts MATCHING "
466 "1 + (name % 1) = ''", -1, -1, 0, 0 },
467 { "LOOKUP hosts MATCHING "
468 "'' = 1 + (name % 1)", -1, -1, 0, 0 },
469 { "LOOKUP hosts MATCHING "
470 "age > 0 AND "
471 "age = 0s", -1, -1, 0, 0 },
472 { "LOOKUP hosts MATCHING "
473 "age = 0s AND "
474 "age > 0", -1, -1, 0, 0 },
475 { "LOOKUP services MATCHING "
476 "host.name > 0", -1, -1, 0, 0 },
477 { "LOOKUP services MATCHING "
478 "backend > 'b'", -1, -1, 0, 0 },
479 { "LOOKUP services MATCHING "
480 "'b' > backend", -1, -1, 0, 0 },
481 { "LOOKUP services MATCHING "
482 "attribute['a'] > backend",
483 -1, -1, 0, 0 },
484 { "LOOKUP services MATCHING "
485 "backend > attribute['a']",
486 -1, -1, 0, 0 },
487 { "LOOKUP services MATCHING "
488 "host.name + 1 = ''", -1, -1, 0, 0 },
489 { "LOOKUP hosts MATCHING "
490 "'a' + 1 IN 'b'", -1, -1, 0, 0 },
491 { "LOOKUP hosts MATCHING "
492 "'a' IN 'b' - 1", -1, -1, 0, 0 },
493 { "LOOKUP hosts MATCHING "
494 "name + 1 IN 'b'", -1, -1, 0, 0 },
495 { "LOOKUP hosts MATCHING "
496 "'a' IN name - 1", -1, -1, 0, 0 },
497 { "LOOKUP hosts MATCHING "
498 "'b' IN 'abc'", -1, -1, 0, 0 },
499 { "LOOKUP hosts MATCHING "
500 "1 IN age", -1, -1, 0, 0 },
501 { "LOOKUP hosts MATCHING "
502 "name =~ 'a' + 1", -1, -1, 0, 0 },
503 { "LOOKUP hosts MATCHING "
504 "name =~ name + 1", -1, -1, 0, 0 },
505 { "LOOKUP hosts MATCHING "
506 "name + 1 =~ 'a'", -1, -1, 0, 0 },
507 { "LOOKUP hosts MATCHING "
508 "name =~ 1", -1, -1, 0, 0 },
509 { "LOOKUP hosts MATCHING "
510 "name + 1 IS NULL", -1, -1, 0, 0 },
511 { "LOOKUP hosts FILTER "
512 "name + 1 IS NULL", -1, -1, 0, 0 },
513 { "LOOKUP hosts MATCHING "
514 "ANY 'patt' =~ 'p'", -1, -1, 0, 0 },
516 /* invalid LIST commands */
517 { "LIST", -1, -1, 0, 0 },
518 { "LIST foo", -1, -1, 0, 0 },
519 { "LIST hosts MATCHING "
520 "name = 'host'", -1, -1, 0, 0 },
521 { "LIST foo FILTER "
522 "age > 60s", -1, -1, 0, 0 },
524 /* invalid FETCH commands */
525 { "FETCH host 'host' MATCHING "
526 "name = 'host'", -1, -1, 0, 0 },
527 { "FETCH service 'host'",-1, -1, 0, 0 },
528 { "FETCH metric 'host'", -1, -1, 0, 0 },
529 { "FETCH host "
530 "'host'.'localhost'", -1, -1, 0, 0 },
531 { "FETCH foo 'host'", -1, -1, 0, 0 },
532 { "FETCH foo 'host' FILTER "
533 "age > 60s", -1, -1, 0, 0 },
535 /* invalid LOOKUP commands */
536 { "LOOKUP foo", -1, -1, 0, 0 },
537 { "LOOKUP foo MATCHING "
538 "name = 'host'", -1, -1, 0, 0 },
539 { "LOOKUP foo FILTER "
540 "age > 60s", -1, -1, 0, 0 },
541 { "LOOKUP foo MATCHING "
542 "name = 'host' FILTER "
543 "age > 60s", -1, -1, 0, 0 },
544 { "LOOKUP hosts MATCHING "
545 "attribute['foo'] <= "
546 "f || 'oo'", -1, -1, 0, 0 },
547 { "LOOKUP hosts MATCHING "
548 "attribute['foo'] <= "
549 "'f' || oo", -1, -1, 0, 0 },
550 { "LOOKUP hosts MATCHING "
551 "ANY host.name = 'host'", -1, -1, 0, 0 },
552 { "LOOKUP hosts MATCHING "
553 "ANY service.name > 1", -1, -1, 0, 0 },
554 { "LOOKUP hosts MATCHING "
555 "service.name = 's'", -1, -1, 0, 0 },
556 { "LOOKUP services MATCHING "
557 "ANY host.name = 'host'", -1, -1, 0, 0 },
558 { "LOOKUP services MATCHING "
559 "ANY service.name = 'svc'", -1, -1, 0, 0 },
560 { "LOOKUP services MATCHING "
561 "ANY metric.name = 'm'", -1, -1, 0, 0 },
562 { "LOOKUP services MATCHING "
563 "metric.name = 'm'", -1, -1, 0, 0 },
564 { "LOOKUP metrics MATCHING "
565 "ANY host.name = 'host'", -1, -1, 0, 0 },
566 { "LOOKUP metrics MATCHING "
567 "ANY service.name = 'svc'", -1, -1, 0, 0 },
568 { "LOOKUP metrics MATCHING "
569 "ANY metric.name = 'm'", -1, -1, 0, 0 },
570 { "LOOKUP metrics MATCHING "
571 "service.name = 'm'", -1, -1, 0, 0 },
573 /* invalid STORE commands */
574 { "STORE host "
575 "'obj'.'host'", -1, -1, 0, 0 },
576 { "STORE host attribute "
577 ".'key' 123", -1, -1, 0, 0 },
578 { "STORE host attribute "
579 "'o'.'h'.'key' 123", -1, -1, 0, 0 },
580 { "STORE service 'svc'", -1, -1, 0, 0 },
581 { "STORE service "
582 "'host'.'svc' "
583 "STORE 'typ' 'id' "
584 "LAST UPDATE "
585 "2015-02-01", -1, -1, 0, 0 },
586 { "STORE service attribute "
587 "'svc'.'key' 123", -1, -1, 0, 0 },
588 { "STORE metric 'm'", -1, -1, 0, 0 },
589 { "STORE metric "
590 "'host'.'metric' "
591 "STORE 'typ'.'id' "
592 "LAST UPDATE "
593 "2015-02-01", -1, -1, 0, 0 },
594 { "STORE metric attribute "
595 "'metric'.'key' 123", -1, -1, 0, 0 },
596 #endif
597 };
599 START_TEST(test_parse)
600 {
601 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
602 sdb_llist_t *check;
603 sdb_ast_node_t *node;
604 _Bool ok;
606 check = sdb_parser_parse(parse_data[_i].query,
607 parse_data[_i].len, errbuf);
608 if (parse_data[_i].expected < 0)
609 ok = check == 0;
610 else
611 ok = sdb_llist_len(check) == (size_t)parse_data[_i].expected;
613 fail_unless(ok, "sdb_parser_parse(%s) = %p (len: %zu); expected: %d "
614 "(parse error: %s)", parse_data[_i].query, check,
615 sdb_llist_len(check), parse_data[_i].expected,
616 sdb_strbuf_string(errbuf));
618 if (! check) {
619 sdb_strbuf_destroy(errbuf);
620 return;
621 }
623 if ((! parse_data[_i].expected_type)
624 || (parse_data[_i].expected <= 0)) {
625 sdb_llist_destroy(check);
626 sdb_strbuf_destroy(errbuf);
627 return;
628 }
630 node = SDB_AST_NODE(sdb_llist_get(check, 0));
631 fail_unless(node->type == parse_data[_i].expected_type,
632 "sdb_parser_parse(%s)->type = %i; expected: %d",
633 parse_data[_i].query, node->type,
634 parse_data[_i].expected_type);
636 if (node->type == SDB_AST_TYPE_FETCH) {
637 sdb_ast_fetch_t *f = SDB_AST_FETCH(node);
638 fail_unless(f->obj_type == parse_data[_i].expected_extra,
639 "sdb_parser_parse(%s)->obj_type = %s; expected: %s",
640 parse_data[_i].query, SDB_STORE_TYPE_TO_NAME(f->obj_type),
641 SDB_STORE_TYPE_TO_NAME(parse_data[_i].expected_extra));
642 }
643 else if (node->type == SDB_AST_TYPE_LIST) {
644 sdb_ast_list_t *l = SDB_AST_LIST(node);
645 fail_unless(l->obj_type == parse_data[_i].expected_extra,
646 "sdb_parser_parse(%s)->obj_type = %s; expected: %s",
647 parse_data[_i].query, SDB_STORE_TYPE_TO_NAME(l->obj_type),
648 SDB_STORE_TYPE_TO_NAME(parse_data[_i].expected_extra));
649 }
650 else if (node->type == SDB_AST_TYPE_LOOKUP) {
651 sdb_ast_lookup_t *l = SDB_AST_LOOKUP(node);
652 fail_unless(l->obj_type == parse_data[_i].expected_extra,
653 "sdb_parser_parse(%s)->obj_type = %s; expected: %s",
654 parse_data[_i].query, SDB_STORE_TYPE_TO_NAME(l->obj_type),
655 SDB_STORE_TYPE_TO_NAME(parse_data[_i].expected_extra));
656 }
657 else if (node->type == SDB_AST_TYPE_STORE) {
658 sdb_ast_store_t *s = SDB_AST_STORE(node);
659 fail_unless(s->obj_type == parse_data[_i].expected_extra,
660 "sdb_parser_parse(%s)->obj_type = %s; expected: %s",
661 parse_data[_i].query, SDB_STORE_TYPE_TO_NAME(s->obj_type),
662 SDB_STORE_TYPE_TO_NAME(parse_data[_i].expected_extra));
663 }
665 sdb_object_deref(SDB_OBJ(node));
666 sdb_llist_destroy(check);
667 sdb_strbuf_destroy(errbuf);
668 }
669 END_TEST
671 struct {
672 const char *expr;
673 int len;
674 int expected;
675 } parse_conditional_data[] = {
676 /* empty expressions */
677 { NULL, -1, -1 },
678 { "", -1, -1 },
680 /* match hosts by name */
681 { "name < 'localhost'", -1, SDB_AST_LT },
682 { "name <= 'localhost'", -1, SDB_AST_LE },
683 { "name = 'localhost'", -1, SDB_AST_EQ },
684 { "name != 'localhost'", -1, SDB_AST_NE },
685 { "name >= 'localhost'", -1, SDB_AST_GE },
686 { "name > 'localhost'", -1, SDB_AST_GT },
687 { "name =~ 'host'", -1, SDB_AST_REGEX },
688 { "name !~ 'host'", -1, SDB_AST_NREGEX },
689 { "name = 'localhost' -- foo", -1, SDB_AST_EQ },
690 { "name = 'host' <garbage>", 13, SDB_AST_EQ },
691 { "name &^ 'localhost'", -1, -1 },
692 /* match by backend */
693 { "ANY backend < 'be'", -1, SDB_AST_ANY },
694 { "ANY backend <= 'be'", -1, SDB_AST_ANY },
695 { "ANY backend = 'be'", -1, SDB_AST_ANY },
696 { "ANY backend != 'be'", -1, SDB_AST_ANY },
697 { "ANY backend >= 'be'", -1, SDB_AST_ANY },
698 { "ANY backend > 'be'", -1, SDB_AST_ANY },
699 { "ALL backend < 'be'", -1, SDB_AST_ALL },
700 { "ALL backend <= 'be'", -1, SDB_AST_ALL },
701 { "ALL backend = 'be'", -1, SDB_AST_ALL },
702 { "ALL backend != 'be'", -1, SDB_AST_ALL },
703 { "ALL backend >= 'be'", -1, SDB_AST_ALL },
704 { "ALL backend > 'be'", -1, SDB_AST_ALL },
705 { "ANY backend &^ 'be'", -1, -1 },
706 /* match hosts by service */
707 { "ANY service.name < 'name'", -1, SDB_AST_ANY },
708 { "ANY service.name <= 'name'", -1, SDB_AST_ANY },
709 { "ANY service.name = 'name'", -1, SDB_AST_ANY },
710 { "ANY service.name != 'name'", -1, SDB_AST_ANY },
711 { "ANY service.name >= 'name'", -1, SDB_AST_ANY },
712 { "ANY service.name > 'name'", -1, SDB_AST_ANY },
713 { "ANY service.name =~ 'pattern'", -1, SDB_AST_ANY },
714 { "ANY service.name !~ 'pattern'", -1, SDB_AST_ANY },
715 { "ANY service.name &^ 'name'", -1, -1 },
716 { "ALL service.name < 'name'", -1, SDB_AST_ALL },
717 { "ALL service.name <= 'name'", -1, SDB_AST_ALL },
718 { "ALL service.name = 'name'", -1, SDB_AST_ALL },
719 { "ALL service.name != 'name'", -1, SDB_AST_ALL },
720 { "ALL service.name >= 'name'", -1, SDB_AST_ALL },
721 { "ALL service.name > 'name'", -1, SDB_AST_ALL },
722 { "ALL service.name =~ 'pattern'", -1, SDB_AST_ALL },
723 { "ALL service.name !~ 'pattern'", -1, SDB_AST_ALL },
724 { "ALL service.name &^ 'name'", -1, -1 },
725 { "ANY service < 'name'", -1, -1 },
726 /* match hosts by metric */
727 { "ANY metric.name < 'name'", -1, SDB_AST_ANY },
728 { "ANY metric.name <= 'name'", -1, SDB_AST_ANY },
729 { "ANY metric.name = 'name'", -1, SDB_AST_ANY },
730 { "ANY metric.name != 'name'", -1, SDB_AST_ANY },
731 { "ANY metric.name >= 'name'", -1, SDB_AST_ANY },
732 { "ANY metric.name > 'name'", -1, SDB_AST_ANY },
733 { "ANY metric.name =~ 'pattern'", -1, SDB_AST_ANY },
734 { "ANY metric.name !~ 'pattern'", -1, SDB_AST_ANY },
735 { "ANY metric.name &^ 'pattern'", -1, -1 },
736 { "ALL metric.name < 'name'", -1, SDB_AST_ALL },
737 { "ALL metric.name <= 'name'", -1, SDB_AST_ALL },
738 { "ALL metric.name = 'name'", -1, SDB_AST_ALL },
739 { "ALL metric.name != 'name'", -1, SDB_AST_ALL },
740 { "ALL metric.name >= 'name'", -1, SDB_AST_ALL },
741 { "ALL metric.name > 'name'", -1, SDB_AST_ALL },
742 { "ALL metric.name =~ 'pattern'", -1, SDB_AST_ALL },
743 { "ALL metric.name !~ 'pattern'", -1, SDB_AST_ALL },
744 { "ALL metric.name &^ 'pattern'", -1, -1 },
745 { "ANY metric <= 'name'", -1, -1 },
746 /* match hosts by attribute */
747 { "ANY attribute.name < 'name'", -1, SDB_AST_ANY },
748 { "ANY attribute.name <= 'name'", -1, SDB_AST_ANY },
749 { "ANY attribute.name = 'name'", -1, SDB_AST_ANY },
750 { "ANY attribute.name != 'name'", -1, SDB_AST_ANY },
751 { "ANY attribute.name >= 'name'", -1, SDB_AST_ANY },
752 { "ANY attribute.name > 'name'", -1, SDB_AST_ANY },
753 { "ANY attribute.name =~ 'pattern'", -1, SDB_AST_ANY },
754 { "ANY attribute.name !~ 'pattern'", -1, SDB_AST_ANY },
755 { "ANY attribute.name &^ 'pattern'", -1, -1 },
756 { "ALL attribute.name < 'name'", -1, SDB_AST_ALL },
757 { "ALL attribute.name <= 'name'", -1, SDB_AST_ALL },
758 { "ALL attribute.name = 'name'", -1, SDB_AST_ALL },
759 { "ALL attribute.name != 'name'", -1, SDB_AST_ALL },
760 { "ALL attribute.name >= 'name'", -1, SDB_AST_ALL },
761 { "ALL attribute.name > 'name'", -1, SDB_AST_ALL },
762 { "ALL attribute.name =~ 'pattern'", -1, SDB_AST_ALL },
763 { "ALL attribute.name !~ 'pattern'", -1, SDB_AST_ALL },
764 { "ALL attribute.name &^ 'pattern'", -1, -1 },
765 { "ANY attribute !~ 'pattern'", -1, -1 },
766 /* composite expressions */
767 { "name =~ 'pattern' AND "
768 "ANY service.name =~ 'pattern'", -1, SDB_AST_AND },
769 { "name =~ 'pattern' OR "
770 "ANY service.name =~ 'pattern'", -1, SDB_AST_OR },
771 { "NOT name = 'host'", -1, SDB_AST_NOT },
772 /* numeric expressions */
773 { "attribute['foo'] < 123", -1, SDB_AST_LT },
774 { "attribute['foo'] <= 123", -1, SDB_AST_LE },
775 { "attribute['foo'] = 123", -1, SDB_AST_EQ },
776 { "attribute['foo'] >= 123", -1, SDB_AST_GE },
777 { "attribute['foo'] > 123", -1, SDB_AST_GT },
778 /* datetime expressions */
779 { "attribute['foo'] = "
780 "2014-08-16", -1, SDB_AST_EQ },
781 { "attribute['foo'] = "
782 "17:23", -1, SDB_AST_EQ },
783 { "attribute['foo'] = "
784 "17:23:53", -1, SDB_AST_EQ },
785 { "attribute['foo'] = "
786 "17:23:53.123", -1, SDB_AST_EQ },
787 { "attribute['foo'] = "
788 "17:23:53.123456789", -1, SDB_AST_EQ },
789 { "attribute['foo'] = "
790 "2014-08-16 17:23", -1, SDB_AST_EQ },
791 { "attribute['foo'] = "
792 "2014-08-16 17:23:53", -1, SDB_AST_EQ },
793 /* NULL */
794 { "attribute['foo'] IS NULL", -1, SDB_AST_ISNULL },
795 { "attribute['foo'] IS NOT NULL", -1, SDB_AST_NOT },
796 /* array expressions */
797 { "backend < ['a']", -1, SDB_AST_LT },
798 { "backend <= ['a']", -1, SDB_AST_LE },
799 { "backend = ['a']", -1, SDB_AST_EQ },
800 { "backend != ['a']", -1, SDB_AST_NE },
801 { "backend >= ['a']", -1, SDB_AST_GE },
802 { "backend > ['a']", -1, SDB_AST_GT },
803 { "backend &^ ['a']", -1, -1 },
805 /* object field comparison */
806 { "name < 'a'", -1, SDB_AST_LT },
807 { "name <= 'a'", -1, SDB_AST_LE },
808 { "name = 'a'", -1, SDB_AST_EQ },
809 { "name != 'a'", -1, SDB_AST_NE },
810 { "name >= 'a'", -1, SDB_AST_GE },
811 { "name > 'a'", -1, SDB_AST_GT },
812 { "last_update < 2014-10-01", -1, SDB_AST_LT },
813 { "last_update <= 2014-10-01", -1, SDB_AST_LE },
814 { "last_update = 2014-10-01", -1, SDB_AST_EQ },
815 { "last_update != 2014-10-01", -1, SDB_AST_NE },
816 { "last_update >= 2014-10-01", -1, SDB_AST_GE },
817 { "last_update > 2014-10-01", -1, SDB_AST_GT },
818 { "Last_Update >= 24D", -1, SDB_AST_GE },
819 { "age < 20s", -1, SDB_AST_LT },
820 { "age <= 20s", -1, SDB_AST_LE },
821 { "age = 20s", -1, SDB_AST_EQ },
822 { "age != 20s", -1, SDB_AST_NE },
823 { "age >= 20s", -1, SDB_AST_GE },
824 { "age > 20s", -1, SDB_AST_GT },
825 { "AGE <= 1m", -1, SDB_AST_LE },
826 { "age > 1M", -1, SDB_AST_GT },
827 { "age != 20Y", -1, SDB_AST_NE },
828 { "age <= 2 * interval", -1, SDB_AST_LE },
829 { "interval < 20s", -1, SDB_AST_LT },
830 { "interval <= 20s", -1, SDB_AST_LE },
831 { "interval = 20s", -1, SDB_AST_EQ },
832 { "interval != 20s", -1, SDB_AST_NE },
833 { "interval >= 20s", -1, SDB_AST_GE },
834 { "interval > 20s", -1, SDB_AST_GT },
835 { "'be' IN backend", -1, SDB_AST_IN },
836 { "'be' NOT IN backend", -1, SDB_AST_NOT },
837 { "['a','b'] IN backend", -1, SDB_AST_IN },
838 { "['a','b'] NOT IN backend", -1, SDB_AST_NOT },
840 /* check operator precedence */
841 { "name = 'name' OR "
842 "ANY service.name = 'name' AND "
843 "ANY attribute.name = 'name' OR "
844 "attribute['foo'] = 'bar'", -1, SDB_AST_OR },
845 { "name = 'name' AND "
846 "ANY service.name = 'name' AND "
847 "ANY attribute.name = 'name' OR "
848 "attribute['foo'] = 'bar'", -1, SDB_AST_OR },
849 { "name = 'name' AND "
850 "ANY service.name = 'name' OR "
851 "ANY attribute.name = 'name' AND "
852 "attribute['foo'] = 'bar'", -1, SDB_AST_OR },
853 { "(name = 'name' OR "
854 "ANY service.name = 'name') AND "
855 "(ANY attribute.name = 'name' OR "
856 "attribute['foo'] = 'bar')", -1, SDB_AST_AND },
857 { "NOT name = 'name' OR "
858 "ANY service.name = 'name'", -1, SDB_AST_OR },
859 { "NOT name = 'name' OR "
860 "NOT ANY service.name = 'name'", -1, SDB_AST_OR },
861 { "NOT (name = 'name' OR "
862 "NOT ANY service.name = 'name')", -1, SDB_AST_NOT },
864 /* syntax errors */
865 { "LIST hosts", -1, -1 },
866 { "foo &^ bar", -1, -1 },
867 { "invalid", -1, -1 },
868 };
870 START_TEST(test_parse_conditional)
871 {
872 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
873 sdb_ast_node_t *node;
875 node = sdb_parser_parse_conditional(parse_conditional_data[_i].expr,
876 parse_conditional_data[_i].len, errbuf);
878 if (parse_conditional_data[_i].expected < 0) {
879 fail_unless(node == NULL,
880 "sdb_parser_parse_conditional(%s) = %p; expected: NULL",
881 parse_conditional_data[_i].expr, node);
882 sdb_object_deref(SDB_OBJ(node));
883 sdb_strbuf_destroy(errbuf);
884 return;
885 }
887 fail_unless(node != NULL, "sdb_parser_parse_conditional(%s) = NULL; "
888 "expected: <cond> (parse error: %s)",
889 parse_conditional_data[_i].expr, sdb_strbuf_string(errbuf));
890 if (node->type == SDB_AST_TYPE_OPERATOR)
891 fail_unless(SDB_AST_OP(node)->kind == parse_conditional_data[_i].expected,
892 "sdb_parser_parse_conditional(%s) returned conditional of type %d; "
893 "expected: %d", parse_conditional_data[_i].expr,
894 SDB_AST_OP(node)->kind, parse_conditional_data[_i].expected);
895 else if (node->type == SDB_AST_TYPE_ITERATOR)
896 fail_unless(SDB_AST_ITER(node)->kind == parse_conditional_data[_i].expected,
897 "sdb_parser_parse_conditional(%s) returned conditional of type %d; "
898 "expected: %d", parse_conditional_data[_i].expr,
899 SDB_AST_ITER(node)->kind, parse_conditional_data[_i].expected);
901 sdb_object_deref(SDB_OBJ(node));
902 sdb_strbuf_destroy(errbuf);
903 }
904 END_TEST
906 struct {
907 const char *expr;
908 int len;
909 int expected;
910 } parse_arith_data[] = {
911 /* empty expressions */
912 { NULL, -1, -1 },
913 { "", -1, -1 },
915 /* constant expressions */
916 { "'localhost'", -1, SDB_AST_TYPE_CONST },
917 { "123", -1, SDB_AST_TYPE_CONST },
918 { "2014-08-16", -1, SDB_AST_TYPE_CONST },
919 { "17:23", -1, SDB_AST_TYPE_CONST },
920 { "17:23:53", -1, SDB_AST_TYPE_CONST },
921 { "17:23:53.123", -1, SDB_AST_TYPE_CONST },
922 { "17:23:53.123456789", -1, SDB_AST_TYPE_CONST },
923 { "2014-08-16 17:23", -1, SDB_AST_TYPE_CONST },
924 { "2014-08-16 17:23:53", -1, SDB_AST_TYPE_CONST },
925 { "10s", -1, SDB_AST_TYPE_CONST },
926 { "60m", -1, SDB_AST_TYPE_CONST },
927 { "10Y 24D 1h", -1, SDB_AST_TYPE_CONST },
929 /* TODO: the analyzer and/or optimizer should turn these into constants */
930 { "123 + 456", -1, SDB_AST_ADD },
931 { "'foo' || 'bar'", -1, SDB_AST_CONCAT },
932 { "456 - 123", -1, SDB_AST_SUB },
933 { "1.2 * 3.4", -1, SDB_AST_MUL },
934 { "1.2 / 3.4", -1, SDB_AST_DIV },
935 { "5 % 2", -1, SDB_AST_MOD },
937 /* queryable fields */
938 { "last_update", -1, SDB_AST_TYPE_VALUE },
939 { "AGE", -1, SDB_AST_TYPE_VALUE },
940 { "interval", -1, SDB_AST_TYPE_VALUE },
941 { "Last_Update", -1, SDB_AST_TYPE_VALUE },
942 { "backend", -1, SDB_AST_TYPE_VALUE },
944 /* attributes */
945 { "attribute['foo']", -1, SDB_AST_TYPE_VALUE },
947 /* arithmetic expressions */
948 { "age + age", -1, SDB_AST_ADD },
949 { "age - age", -1, SDB_AST_SUB },
950 { "age * age", -1, SDB_AST_MUL },
951 { "age / age", -1, SDB_AST_DIV },
952 { "age \% age", -1, SDB_AST_MOD },
953 { "age || age", -1, SDB_AST_CONCAT },
955 /* operator precedence */
956 { "age + age * age", -1, SDB_AST_ADD },
957 { "age * age + age", -1, SDB_AST_ADD },
958 { "age + age - age", -1, SDB_AST_SUB },
959 { "age - age + age", -1, SDB_AST_ADD },
960 { "(age + age) * age", -1, SDB_AST_MUL },
961 { "age + (age * age)", -1, SDB_AST_ADD },
963 /* syntax errors */
964 { "LIST", -1, -1 },
965 { "foo &^ bar", -1, -1 },
966 { "invalid", -1, -1 },
967 };
969 START_TEST(test_parse_arith)
970 {
971 sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
972 sdb_ast_node_t *node;
974 node = sdb_parser_parse_arith(parse_arith_data[_i].expr,
975 parse_arith_data[_i].len, errbuf);
977 if (parse_arith_data[_i].expected < 0) {
978 fail_unless(node == NULL,
979 "sdb_parser_parse_arith(%s) = %p; expected: NULL",
980 parse_arith_data[_i].expr, node);
981 sdb_object_deref(SDB_OBJ(node));
982 sdb_strbuf_destroy(errbuf);
983 return;
984 }
986 fail_unless(node != NULL, "sdb_parser_parse_arith(%s) = NULL; "
987 "expected: <expr> (parse error: %s)",
988 parse_arith_data[_i].expr, sdb_strbuf_string(errbuf));
989 if (node->type == SDB_AST_TYPE_OPERATOR)
990 fail_unless(SDB_AST_OP(node)->kind == parse_arith_data[_i].expected,
991 "sdb_parser_parse_arith(%s) returned expression of type %d; "
992 "expected: %d", parse_arith_data[_i].expr,
993 SDB_AST_OP(node)->kind, parse_arith_data[_i].expected);
994 else
995 fail_unless(node->type == parse_arith_data[_i].expected,
996 "sdb_parser_parse_arith(%s) returned expression of type %d; "
997 "expected: %d", parse_arith_data[_i].expr, node->type,
998 parse_arith_data[_i].expected);
1000 sdb_object_deref(SDB_OBJ(node));
1001 sdb_strbuf_destroy(errbuf);
1002 }
1003 END_TEST
1005 TEST_MAIN("parser::parser")
1006 {
1007 TCase *tc = tcase_create("core");
1008 TC_ADD_LOOP_TEST(tc, parse);
1009 TC_ADD_LOOP_TEST(tc, parse_conditional);
1010 TC_ADD_LOOP_TEST(tc, parse_arith);
1011 ADD_TCASE(tc);
1012 }
1013 TEST_MAIN_END
1015 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */