Code

parser: Add support for <expr> IS [NOT] TRUE / FALSE queries.
[sysdb.git] / t / unit / parser / parser_test.c
index d3667d1a4b5da8c40e2e0ae804736263e3f64e7c..4dcf684de06cc6c3b508fff98401883913bf7e6d 100644 (file)
@@ -31,6 +31,7 @@
 
 #include "parser/parser.h"
 #include "core/object.h"
+#include "core/store.h"
 #include "testutils.h"
 
 #include <check.h>
@@ -357,7 +358,21 @@ struct {
        { "LOOKUP hosts MATCHING "
          "name < ''",           -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
 
-       /* NULL */
+       /* typed expressions */
+       { "LOOKUP services MATCHING "
+         "host.attribute['a'] = 'a'",
+                                -1,  1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
+       /* TODO: this should work but the analyzer currently sees ATTRIBUTE
+        * (instead of SERVICE-ATTRIBUTE) as the child type
+       { "LOOKUP services MATCHING "
+         "ANY attribute.service.name = 's'",
+                                -1,  1, SDB_AST_TYPE_LOOKUP, SDB_SERVICE },
+        */
+       { "LOOKUP hosts MATCHING "
+         "ANY service.service.name = 's'",
+                                -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+
+       /* NULL / TRUE / FALSE */
        { "LOOKUP hosts MATCHING "
          "attribute['foo'] "
          "IS NULL",             -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
@@ -369,6 +384,24 @@ struct {
          "IS NULL",             -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
        { "LOOKUP hosts MATCHING "
          "ANY service.name IS NULL", -1, -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "attribute['foo'] "
+         "IS TRUE",             -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+       { "LOOKUP hosts MATCHING "
+         "attribute['foo'] "
+         "IS NOT TRUE",         -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+       { "LOOKUP hosts MATCHING "
+         "NOT attribute['foo'] "
+         "IS TRUE",             -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+       { "LOOKUP hosts MATCHING "
+         "attribute['foo'] "
+         "IS FALSE",            -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+       { "LOOKUP hosts MATCHING "
+         "attribute['foo'] "
+         "IS NOT FALSE",        -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
+       { "LOOKUP hosts MATCHING "
+         "NOT attribute['foo'] "
+         "IS FALSE",            -1,  1, SDB_AST_TYPE_LOOKUP, SDB_HOST },
 
        /* invalid numeric constants */
        { "LOOKUP hosts MATCHING "
@@ -416,14 +449,14 @@ struct {
          "field = 'a'",           -1, -1, 0, 0 },
        { "LIST metrics FILTER "
          "field = 'a'",           -1, -1, 0, 0 },
-#if 0
        { "LIST hosts FILTER "
          "value = 'a'",           -1, -1, 0, 0 },
        { "LIST services FILTER "
          "value = 'a'",           -1, -1, 0, 0 },
        { "LIST metrics FILTER "
          "value = 'a'",           -1, -1, 0, 0 },
-#endif
+       { "LIST metrics FILTER "
+         "name.1 = 'a'",          -1, -1, 0, 0 },
 
        /* type mismatches */
        { "LOOKUP hosts MATCHING "
@@ -433,11 +466,6 @@ struct {
          "1 IN backend ",      -1,  -1, 0, 0 },
        { "LOOKUP hosts MATCHING "
          "1 NOT IN backend ",  -1,  -1, 0, 0 },
-       { "LOOKUP hosts MATCHING "
-         "ANY backend !~ backend",
-                               -1,  -1, 0, 0 },
-       { "LOOKUP hosts MATCHING "
-         "ANY backend = 1",    -1,  -1, 0, 0 },
        { "LOOKUP hosts MATCHING "
          "age > 0",             -1, -1, 0, 0 },
        { "LOOKUP hosts MATCHING "
@@ -520,10 +548,32 @@ struct {
          "name + 1 IS NULL",    -1, -1, 0, 0 },
        { "LOOKUP hosts FILTER "
          "name + 1 IS NULL",    -1, -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "name + 1 IS TRUE",    -1, -1, 0, 0 },
+       { "LOOKUP hosts FILTER "
+         "name + 1 IS TRUE",    -1, -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "name + 1 IS FALSE",   -1, -1, 0, 0 },
+       { "LOOKUP hosts FILTER "
+         "name + 1 IS FALSE",   -1, -1, 0, 0 },
+
+       /* invalid iterators */
+       { "LOOKUP hosts MATCHING "
+         "ANY backend !~ backend",
+                               -1,  -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "ANY backend = 1",    -1,  -1, 0, 0 },
        { "LOOKUP hosts MATCHING "
          "ANY 'patt' =~ 'p'",  -1,  -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "ALL 1 || '2' < '3'", -1,  -1, 0, 0 },
+       { "LOOKUP hosts MATCHING "
+         "ALL name =~ 'a'",    -1,  -1, 0, 0 },
+       /* this could work in theory but is not supported atm */
+       { "LOOKUP hosts MATCHING "
+         "ANY backend || 'a' = 'b'",
+                               -1,  -1, 0, 0 },
 
-#if 0
        /* invalid LIST commands */
        { "LIST",                -1, -1, 0, 0 },
        { "LIST foo",            -1, -1, 0, 0 },
@@ -604,7 +654,6 @@ struct {
          "2015-02-01",          -1, -1, 0, 0 },
        { "STORE metric attribute "
          "'metric'.'key' 123",  -1, -1, 0, 0 },
-#endif
 };
 
 START_TEST(test_parse)
@@ -612,6 +661,7 @@ START_TEST(test_parse)
        sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
        sdb_llist_t *check;
        sdb_ast_node_t *node;
+       sdb_store_query_t *q;
        _Bool ok;
 
        check = sdb_parser_parse(parse_data[_i].query,
@@ -673,7 +723,14 @@ START_TEST(test_parse)
                                SDB_STORE_TYPE_TO_NAME(parse_data[_i].expected_extra));
        }
 
+       /* TODO: this should move into front-end specific tests */
+       q = sdb_store_query_prepare(node);
+       fail_unless(q != NULL,
+                       "sdb_store_query_prepare(AST<%s>) = NULL; expected: <query>",
+                       parse_data[_i].query);
+
        sdb_object_deref(SDB_OBJ(node));
+       sdb_object_deref(SDB_OBJ(q));
        sdb_llist_destroy(check);
        sdb_strbuf_destroy(errbuf);
 }
@@ -801,9 +858,13 @@ struct {
          "2014-08-16 17:23",               -1,  SDB_AST_EQ },
        { "attribute['foo'] = "
          "2014-08-16 17:23:53",            -1,  SDB_AST_EQ },
-       /* NULL */
+       /* NULL / TRUE / FALSE */
        { "attribute['foo'] IS NULL",       -1,  SDB_AST_ISNULL },
        { "attribute['foo'] IS NOT NULL",   -1,  SDB_AST_NOT },
+       { "attribute['foo'] IS TRUE",       -1,  SDB_AST_ISTRUE },
+       { "attribute['foo'] IS NOT TRUE",   -1,  SDB_AST_NOT },
+       { "attribute['foo'] IS FALSE",      -1,  SDB_AST_ISFALSE },
+       { "attribute['foo'] IS NOT FALSE",  -1,  SDB_AST_NOT },
        /* array expressions */
        { "backend < ['a']",                -1,  SDB_AST_LT },
        { "backend <= ['a']",               -1,  SDB_AST_LE },