t/unit/frontend/parser_test.c

   1 /*
   2  * SysDB - t/unit/frontend/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  */
  27
  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"
  33
  34 #include <check.h>
  35 #include <limits.h>
  36
  37 /*
  38  * tests
  39  */
  40
  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 },
  54
  55                 /* FETCH 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  },
  63
  64                 /* LIST commands */
  65                 { "LIST hosts",          -1,  1, SDB_CONNECTION_LIST   },
  66                 { "LIST hosts -- foo",   -1,  1, SDB_CONNECTION_LIST   },
  67                 { "LIST hosts;",         -1,  1, SDB_CONNECTION_LIST   },
  68                 { "LIST hosts; INVALID", 11,  1, SDB_CONNECTION_LIST   },
  69                 { "LIST hosts FILTER "
  70                   "age > 60s",           -1,  1, SDB_CONNECTION_LIST   },
  71                 { "LIST services",       -1,  1, SDB_CONNECTION_LIST   },
  72                 { "LIST services FILTER "
  73                   "age > 60s",           -1,  1, SDB_CONNECTION_LIST   },
  74                 { "LIST metrics",        -1,  1, SDB_CONNECTION_LIST   },
  75                 { "LIST metrics FILTER "
  76                   "age > 60s",           -1,  1, SDB_CONNECTION_LIST   },
  77
  78                 /* LOOKUP commands */
  79                 { "LOOKUP hosts",        -1,  1, SDB_CONNECTION_LOOKUP },
  80                 { "LOOKUP hosts MATCHING "
  81                   "name = 'host'",       -1,  1, SDB_CONNECTION_LOOKUP },
  82                 { "LOOKUP hosts MATCHING NOT "
  83                   "name = 'host'",       -1,  1, SDB_CONNECTION_LOOKUP },
  84                 { "LOOKUP hosts MATCHING "
  85                   "name =~ 'p' AND "
  86                   "ANY service =~ 'p'",  -1,  1, SDB_CONNECTION_LOOKUP },
  87                 { "LOOKUP hosts MATCHING NOT "
  88                   "name =~ 'p' AND "
  89                   "ANY service =~ 'p'",  -1,  1, SDB_CONNECTION_LOOKUP },
  90                 { "LOOKUP hosts MATCHING "
  91                   "name =~ 'p' AND "
  92                   "ANY service =~ 'p' OR "
  93                   "ANY service =~ 'r'",  -1,  1, SDB_CONNECTION_LOOKUP },
  94                 { "LOOKUP hosts MATCHING NOT "
  95                   "name =~ 'p' AND "
  96                   "ANY service =~ 'p' OR "
  97                   "ANY service =~ 'r'",  -1,  1, SDB_CONNECTION_LOOKUP },
  98                 { "LOOKUP hosts MATCHING "
  99                   "name =~ 'p' "
 100                   "FILTER age > 1D",    -1,   1, SDB_CONNECTION_LOOKUP },
 101                 { "LOOKUP hosts MATCHING "
 102                   "name =~ 'p' "
 103                   "FILTER age > 1D AND "
 104                   "interval < 240s" ,   -1,   1, SDB_CONNECTION_LOOKUP },
 105                 { "LOOKUP hosts MATCHING "
 106                   "name =~ 'p' "
 107                   "FILTER NOT age>1D",  -1,   1, SDB_CONNECTION_LOOKUP },
 108                 { "LOOKUP hosts MATCHING "
 109                   "name =~ 'p' "
 110                   "FILTER age>"
 111                   "interval",           -1,   1, SDB_CONNECTION_LOOKUP },
 112                 { "LOOKUP hosts MATCHING "
 113                   "host.name =~ 'p'",   -1,   1, SDB_CONNECTION_LOOKUP },
 114                 { "LOOKUP services",    -1,   1, SDB_CONNECTION_LOOKUP },
 115                 { "LOOKUP services MATCHING ANY "
 116                   "attribute =~ 'a'",   -1,   1, SDB_CONNECTION_LOOKUP },
 117                 { "LOOKUP services MATCHING "
 118                   "host.name = 'p'",    -1,   1, SDB_CONNECTION_LOOKUP },
 119                 { "LOOKUP services MATCHING "
 120                   "service.name = 'p'", -1,   1, SDB_CONNECTION_LOOKUP },
 121                 { "LOOKUP metrics",     -1,   1, SDB_CONNECTION_LOOKUP },
 122                 { "LOOKUP metrics MATCHING ANY "
 123                   "attribute =~ 'a'",   -1,   1, SDB_CONNECTION_LOOKUP },
 124                 { "LOOKUP metrics MATCHING "
 125                   "host.name = 'p'",    -1,   1, SDB_CONNECTION_LOOKUP },
 126                 { "LOOKUP metrics MATCHING "
 127                   "metric.name = 'p'",  -1,   1, SDB_CONNECTION_LOOKUP },
 128
 129                 /* TIMESERIES commands */
 130                 { "TIMESERIES 'host'.'metric' "
 131                   "START 2014-01-01 "
 132                   "END 2014-12-31 "
 133                   "23:59:59",            -1,  1, SDB_CONNECTION_TIMESERIES },
 134                 { "TIMESERIES 'host'.'metric' "
 135                   "START 2014-02-02 "
 136                   "14:02",               -1,  1, SDB_CONNECTION_TIMESERIES },
 137                 { "TIMESERIES 'host'.'metric' "
 138                   "END 2014-02-02",      -1,  1, SDB_CONNECTION_TIMESERIES },
 139                 { "TIMESERIES "
 140                   "'host'.'metric'",     -1,  1, SDB_CONNECTION_TIMESERIES },
 141
 142                 /* STORE commands */
 143                 { "STORE host 'host'",   -1,  1, SDB_CONNECTION_STORE_HOST },
 144                 { "STORE host 'host' "
 145                   "LAST UPDATE "
 146                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_HOST },
 147                 { "STORE host attribute "
 148                   "'host'.'key' 123",    -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 149                 { "STORE host attribute "
 150                   "'host'.'key' 123 "
 151                   "LAST UPDATE "
 152                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 153                 { "STORE service "
 154                   "'host'.'svc'",        -1,  1, SDB_CONNECTION_STORE_SERVICE },
 155                 { "STORE service "
 156                   "'host'.'svc' "
 157                   "LAST UPDATE "
 158                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_SERVICE },
 159                 { "STORE service attribute "
 160                   "'host'.'svc'.'key' "
 161                   "123",                 -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 162                 { "STORE service attribute "
 163                   "'host'.'svc'.'key' "
 164                   "123 "
 165                   "LAST UPDATE "
 166                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 167                 { "STORE metric "
 168                   "'host'.'metric'",     -1,  1, SDB_CONNECTION_STORE_METRIC },
 169                 { "STORE metric "
 170                   "'host'.'metric' "
 171                   "LAST UPDATE "
 172                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_METRIC },
 173                 { "STORE metric "
 174                   "'host'.'metric' "
 175                   "STORE 'typ' 'id' "
 176                   "LAST UPDATE "
 177                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_METRIC },
 178                 { "STORE metric attribute "
 179                   "'host'.'metric'.'key' "
 180                   "123",                 -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 181                 { "STORE metric attribute "
 182                   "'host'.'metric'.'key' "
 183                   "123 "
 184                   "LAST UPDATE "
 185                   "2015-02-01",          -1,  1, SDB_CONNECTION_STORE_ATTRIBUTE },
 186
 187                 /* string constants */
 188                 { "LOOKUP hosts MATCHING "
 189                   "name = ''''",         -1,  1, SDB_CONNECTION_LOOKUP },
 190                 { "LOOKUP hosts MATCHING "
 191                   "name = '''foo'",      -1,  1, SDB_CONNECTION_LOOKUP },
 192                 { "LOOKUP hosts MATCHING "
 193                   "name = 'f''oo'",      -1,  1, SDB_CONNECTION_LOOKUP },
 194                 { "LOOKUP hosts MATCHING "
 195                   "name = 'foo'''",      -1,  1, SDB_CONNECTION_LOOKUP },
 196                 { "LOOKUP hosts MATCHING "
 197                   "name = '''",          -1, -1, 0 },
 198
 199                 /* numeric constants */
 200                 { "LOOKUP hosts MATCHING "
 201                   "attribute['foo'] = "
 202                   "1234",                -1,  1, SDB_CONNECTION_LOOKUP },
 203                 { "LOOKUP hosts MATCHING "
 204                   "attribute['foo'] != "
 205                   "+234",                -1,  1, SDB_CONNECTION_LOOKUP },
 206                 { "LOOKUP hosts MATCHING "
 207                   "attribute['foo'] < "
 208                   "-234",                -1,  1, SDB_CONNECTION_LOOKUP },
 209                 { "LOOKUP hosts MATCHING "
 210                   "attribute['foo'] > "
 211                   "12.4",                -1,  1, SDB_CONNECTION_LOOKUP },
 212                 { "LOOKUP hosts MATCHING "
 213                   "attribute['foo'] <= "
 214                   "12. + .3",            -1,  1, SDB_CONNECTION_LOOKUP },
 215                 { "LOOKUP hosts MATCHING "
 216                   "attribute['foo'] <= "
 217                   "'f' || 'oo'",         -1,  1, SDB_CONNECTION_LOOKUP },
 218                 { "LOOKUP hosts MATCHING "
 219                   "attribute['foo'] >= "
 220                   ".4",                  -1,  1, SDB_CONNECTION_LOOKUP },
 221                 { "LOOKUP hosts MATCHING "
 222                   "attribute['foo'] = "
 223                   "+12e3",               -1,  1, SDB_CONNECTION_LOOKUP },
 224                 { "LOOKUP hosts MATCHING "
 225                   "attribute['foo'] = "
 226                   "+12e-3",              -1,  1, SDB_CONNECTION_LOOKUP },
 227                 { "LOOKUP hosts MATCHING "
 228                   "attribute['foo'] = "
 229                   "-12e+3",              -1,  1, SDB_CONNECTION_LOOKUP },
 230
 231                 /* date, time, interval constants */
 232                 { "LOOKUP hosts MATCHING "
 233                   "attribute['foo'] = "
 234                   "1 Y 42D",             -1,  1, SDB_CONNECTION_LOOKUP },
 235                 { "LOOKUP hosts MATCHING "
 236                   "attribute['foo'] = "
 237                   "1s 42D",              -1,  1, SDB_CONNECTION_LOOKUP },
 238                 /*
 239                  * TODO: Something like 1Y42D should work as well but it doesn't since
 240                  * the scanner will tokenize it into {digit}{identifier} :-/
 241                  *
 242                 { "LOOKUP hosts MATCHING "
 243                   "attribute['foo'] = "
 244                   "1Y42D",               -1,  1, SDB_CONNECTION_LOOKUP },
 245                  */
 246
 247                 /* array constants */
 248                 { "LOOKUP hosts MATCHING "
 249                   "backend = ['foo']",   -1,  1, SDB_CONNECTION_LOOKUP },
 250                 { "LOOKUP hosts MATCHING "
 251                   "backend = ['a','b']", -1,  1, SDB_CONNECTION_LOOKUP },
 252
 253                 /* valid operand types */
 254                 { "LOOKUP hosts MATCHING "
 255                   "age * 1 > 0s",        -1,  1, SDB_CONNECTION_LOOKUP },
 256                 { "LOOKUP hosts MATCHING "
 257                   "age / 1 > 0s",        -1,  1, SDB_CONNECTION_LOOKUP },
 258                 { "LOOKUP hosts MATCHING "
 259                   "name > ''",           -1,  1, SDB_CONNECTION_LOOKUP },
 260                 { "LOOKUP hosts MATCHING "
 261                   "name >= ''",          -1,  1, SDB_CONNECTION_LOOKUP },
 262                 { "LOOKUP hosts MATCHING "
 263                   "name != ''",          -1,  1, SDB_CONNECTION_LOOKUP },
 264                 { "LOOKUP hosts MATCHING "
 265                   "name = ''",           -1,  1, SDB_CONNECTION_LOOKUP },
 266                 { "LOOKUP hosts MATCHING "
 267                   "name <= ''",          -1,  1, SDB_CONNECTION_LOOKUP },
 268                 { "LOOKUP hosts MATCHING "
 269                   "name < ''",           -1,  1, SDB_CONNECTION_LOOKUP },
 270
 271                 /* NULL */
 272                 { "LOOKUP hosts MATCHING "
 273                   "attribute['foo'] "
 274                   "IS NULL",             -1,  1, SDB_CONNECTION_LOOKUP },
 275                 { "LOOKUP hosts MATCHING "
 276                   "attribute['foo'] "
 277                   "IS NOT NULL",         -1,  1, SDB_CONNECTION_LOOKUP },
 278                 { "LOOKUP hosts MATCHING "
 279                   "NOT attribute['foo'] "
 280                   "IS NULL",             -1,  1, SDB_CONNECTION_LOOKUP },
 281                 { "LOOKUP hosts MATCHING "
 282                   "ANY service IS NULL", -1, -1, 0 },
 283
 284                 /* invalid numeric constants */
 285                 { "LOOKUP hosts MATCHING "
 286                   "attribute['foo'] = "
 287                   "+-12e+3",             -1, -1, 0 },
 288                 { "LOOKUP hosts MATCHING "
 289                   "attribute['foo'] = "
 290                   "-12e-+3",             -1, -1, 0 },
 291                 { "LOOKUP hosts MATCHING "
 292                   "attribute['foo'] = "
 293                   "e+3",                 -1, -1, 0 },
 294                 { "LOOKUP hosts MATCHING "
 295                   "attribute['foo'] = "
 296                   "3e",                  -1, -1, 0 },
 297                 /* following SQL standard, we don't support hex numbers */
 298                 { "LOOKUP hosts MATCHING "
 299                   "attribute['foo'] = "
 300                   "0x12",                -1, -1, 0 },
 301
 302                 /* invalid expressions */
 303                 { "LOOKUP hosts MATCHING "
 304                   "attribute['foo'] = "
 305                   "1.23 + 'foo'",        -1, -1, 0 },
 306                 { "LOOKUP hosts MATCHING "
 307                   "attr['foo'] = 1.23",  -1, -1, 0 },
 308                 { "LOOKUP hosts MATCHING "
 309                   "attr['foo'] IS NULL", -1, -1, 0 },
 310
 311                 /* type mismatches */
 312                 { "LOOKUP hosts MATCHING "
 313                   "age > 0",             -1, -1, 0 },
 314                 { "LOOKUP hosts MATCHING "
 315                   "age >= 0",            -1, -1, 0 },
 316                 { "LOOKUP hosts MATCHING "
 317                   "age = 0",             -1, -1, 0 },
 318                 { "LOOKUP hosts MATCHING "
 319                   "age != 0",            -1, -1, 0 },
 320                 { "LOOKUP hosts MATCHING "
 321                   "age <= 0",            -1, -1, 0 },
 322                 { "LOOKUP hosts MATCHING "
 323                   "age < 0",             -1, -1, 0 },
 324                 { "LOOKUP hosts MATCHING "
 325                   "age + 1 > 0s",        -1, -1, 0 },
 326                 { "LOOKUP hosts MATCHING "
 327                   "age - 1 > 0s",        -1, -1, 0 },
 328                 /* datetime <mul/div> integer is allowed */
 329                 { "LOOKUP hosts MATCHING "
 330                   "age || 1 > 0s",       -1, -1, 0 },
 331                 { "LOOKUP hosts MATCHING "
 332                   "name + 1 = ''",       -1, -1, 0 },
 333                 { "LOOKUP hosts MATCHING "
 334                   "name - 1 = ''",       -1, -1, 0 },
 335                 { "LOOKUP hosts MATCHING "
 336                   "name * 1 = ''",       -1, -1, 0 },
 337                 { "LOOKUP hosts MATCHING "
 338                   "name / 1 = ''",       -1, -1, 0 },
 339                 { "LOOKUP hosts MATCHING "
 340                   "name % 1 = ''",       -1, -1, 0 },
 341
 342                 /* comments */
 343                 { "/* some comment */",  -1,  0, 0 },
 344                 { "-- another comment",  -1,  0, 0 },
 345
 346                 /* syntax errors */
 347                 { "INVALID",             -1, -1, 0 },
 348                 { "FETCH host",          -1, -1, 0 },
 349                 { "FETCH 'host'",        -1, -1, 0 },
 350                 { "LIST hosts; INVALID", -1, -1, 0 },
 351                 { "/* some incomplete",  -1, -1, 0 },
 352
 353                 /* invalid LIST commands */
 354                 { "LIST",                -1, -1, 0 },
 355                 { "LIST foo",            -1, -1, 0 },
 356                 { "LIST hosts MATCHING "
 357                   "name = 'host'",       -1, -1, 0 },
 358                 { "LIST foo FILTER "
 359                   "age > 60s",           -1, -1, 0 },
 360
 361                 /* invalid FETCH commands */
 362                 { "FETCH host 'host' MATCHING "
 363                   "name = 'host'",       -1, -1, 0 },
 364                 { "FETCH service 'host'",-1, -1, 0 },
 365                 { "FETCH metric 'host'", -1, -1, 0 },
 366                 { "FETCH host "
 367                   "'host'.'localhost'",  -1, -1, 0 },
 368                 { "FETCH foo 'host'",    -1, -1, 0 },
 369                 { "FETCH foo 'host' FILTER "
 370                   "age > 60s",           -1, -1, 0 },
 371
 372                 /* invalid LOOKUP commands */
 373                 { "LOOKUP foo",          -1, -1, 0 },
 374                 { "LOOKUP foo MATCHING "
 375                   "name = 'host'",       -1, -1, 0 },
 376                 { "LOOKUP foo FILTER "
 377                   "age > 60s",           -1, -1, 0 },
 378                 { "LOOKUP foo MATCHING "
 379                   "name = 'host' FILTER "
 380                   "age > 60s",           -1, -1, 0 },
 381                 { "LOOKUP hosts MATCHING "
 382                   "attribute['foo'] <= "
 383                   "f || 'oo'",           -1, -1, 0 },
 384                 { "LOOKUP hosts MATCHING "
 385                   "attribute['foo'] <= "
 386                   "'f' || oo",           -1, -1, 0 },
 387                 { "LOOKUP hosts MATCHING "
 388                   "ANY host = 'host'",   -1, -1, 0 },
 389                 { "LOOKUP hosts MATCHING "
 390                   "service.name = 's'",  -1, -1, 0 },
 391                 { "LOOKUP services MATCHING "
 392                   "ANY host = 'host'",   -1, -1, 0 },
 393                 { "LOOKUP services MATCHING "
 394                   "ANY service = 'svc'", -1, -1, 0 },
 395                 { "LOOKUP services MATCHING "
 396                   "ANY metric = 'm'",    -1, -1, 0 },
 397                 { "LOOKUP services MATCHING "
 398                   "metric.name = 'm'",   -1, -1, 0 },
 399                 { "LOOKUP metrics MATCHING "
 400                   "ANY host = 'host'",   -1, -1, 0 },
 401                 { "LOOKUP metrics MATCHING "
 402                   "ANY service = 'svc'", -1, -1, 0 },
 403                 { "LOOKUP metrics MATCHING "
 404                   "ANY metric = 'm'",    -1, -1, 0 },
 405                 { "LOOKUP metrics MATCHING "
 406                   "service.name = 'm'",  -1, -1, 0 },
 407
 408                 /* invalid STORE commands */
 409                 { "STORE host "
 410                   "'obj'.'host'",        -1, -1, 0 },
 411                 { "STORE host attribute "
 412                   ".'key' 123",          -1, -1, 0 },
 413                 { "STORE host attribute "
 414                   "'o'.'h'.'key' 123",   -1, -1, 0 },
 415                 { "STORE service 'svc'", -1, -1, 0 },
 416                 { "STORE service "
 417                   "'host'.'svc' "
 418                   "STORE 'typ' 'id' "
 419                   "LAST UPDATE "
 420                   "2015-02-01",          -1, -1, 0 },
 421                 { "STORE service attribute "
 422                   "'svc'.'key' 123",     -1, -1, 0 },
 423                 { "STORE metric 'm'",    -1, -1, 0 },
 424                 { "STORE metric "
 425                   "'host'.'metric' "
 426                   "STORE 'typ'.'id' "
 427                   "LAST UPDATE "
 428                   "2015-02-01",          -1, -1, 0 },
 429                 { "STORE metric attribute "
 430                   "'metric'.'key' 123",  -1, -1, 0 },
 431         };
 432
 433         sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
 434         sdb_llist_t *check;
 435
 436         size_t i;
 437
 438         for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
 439                 sdb_object_t *obj;
 440                 _Bool ok;
 441
 442                 check = sdb_fe_parse(golden_data[i].query,
 443                                 golden_data[i].len, errbuf);
 444                 if (golden_data[i].expected < 0)
 445                         ok = check == 0;
 446                 else
 447                         ok = sdb_llist_len(check) == (size_t)golden_data[i].expected;
 448
 449                 fail_unless(ok, "sdb_fe_parse(%s) = %p (len: %zu); expected: %d "
 450                                 "(parser error: %s)", golden_data[i].query, check,
 451                                 sdb_llist_len(check), golden_data[i].expected,
 452                                 sdb_strbuf_string(errbuf));
 453
 454                 if (! check)
 455                         continue;
 456
 457                 if ((! golden_data[i].expected_cmd)
 458                                 || (golden_data[i].expected <= 0)) {
 459                         sdb_llist_destroy(check);
 460                         continue;
 461                 }
 462
 463                 obj = sdb_llist_get(check, 0);
 464                 fail_unless(SDB_CONN_NODE(obj)->cmd == golden_data[i].expected_cmd,
 465                                 "sdb_fe_parse(%s)->cmd = %i; expected: %d",
 466                                 golden_data[i].query, SDB_CONN_NODE(obj)->cmd,
 467                                 golden_data[i].expected_cmd);
 468                 sdb_object_deref(obj);
 469                 sdb_llist_destroy(check);
 470         }
 471
 472         sdb_strbuf_destroy(errbuf);
 473 }
 474 END_TEST
 475
 476 START_TEST(test_parse_matcher)
 477 {
 478         struct {
 479                 const char *expr;
 480                 int len;
 481                 int expected;
 482         } golden_data[] = {
 483                 /* empty expressions */
 484                 { NULL,                           -1, -1 },
 485                 { "",                             -1, -1 },
 486
 487                 /* match hosts by name */
 488                 { "name < 'localhost'",           -1,  MATCHER_LT },
 489                 { "name <= 'localhost'",          -1,  MATCHER_LE },
 490                 { "name = 'localhost'",           -1,  MATCHER_EQ },
 491                 { "name != 'localhost'",          -1,  MATCHER_NE },
 492                 { "name >= 'localhost'",          -1,  MATCHER_GE },
 493                 { "name > 'localhost'",           -1,  MATCHER_GT },
 494                 { "name =~ 'host'",               -1,  MATCHER_REGEX },
 495                 { "name !~ 'host'",               -1,  MATCHER_NREGEX },
 496                 { "name = 'localhost' -- foo",    -1,  MATCHER_EQ },
 497                 { "name = 'host' <garbage>",      13,  MATCHER_EQ },
 498                 { "name &^ 'localhost'",          -1,  -1 },
 499                 /* match by backend */
 500                 { "ANY backend < 'be'",           -1,  MATCHER_ANY },
 501                 { "ANY backend <= 'be'",          -1,  MATCHER_ANY },
 502                 { "ANY backend = 'be'",           -1,  MATCHER_ANY },
 503                 { "ANY backend != 'be'",          -1,  MATCHER_ANY },
 504                 { "ANY backend >= 'be'",          -1,  MATCHER_ANY },
 505                 { "ANY backend > 'be'",           -1,  MATCHER_ANY },
 506                 { "ALL backend < 'be'",           -1,  MATCHER_ALL },
 507                 { "ALL backend <= 'be'",          -1,  MATCHER_ALL },
 508                 { "ALL backend = 'be'",           -1,  MATCHER_ALL },
 509                 { "ALL backend != 'be'",          -1,  MATCHER_ALL },
 510                 { "ALL backend >= 'be'",          -1,  MATCHER_ALL },
 511                 { "ALL backend > 'be'",           -1,  MATCHER_ALL },
 512                 { "ANY backend &^ 'be'",          -1,  -1 },
 513                 /* match hosts by service */
 514                 { "ANY service < 'name'",         -1,  MATCHER_ANY },
 515                 { "ANY service <= 'name'",        -1,  MATCHER_ANY },
 516                 { "ANY service = 'name'",         -1,  MATCHER_ANY },
 517                 { "ANY service != 'name'",        -1,  MATCHER_ANY },
 518                 { "ANY service >= 'name'",        -1,  MATCHER_ANY },
 519                 { "ANY service > 'name'",         -1,  MATCHER_ANY },
 520                 { "ANY service =~ 'pattern'",     -1,  MATCHER_ANY },
 521                 { "ANY service !~ 'pattern'",     -1,  MATCHER_ANY },
 522                 { "ANY service &^ 'name'",        -1,  -1 },
 523                 { "ALL service < 'name'",         -1,  MATCHER_ALL },
 524                 { "ALL service <= 'name'",        -1,  MATCHER_ALL },
 525                 { "ALL service = 'name'",         -1,  MATCHER_ALL },
 526                 { "ALL service != 'name'",        -1,  MATCHER_ALL },
 527                 { "ALL service >= 'name'",        -1,  MATCHER_ALL },
 528                 { "ALL service > 'name'",         -1,  MATCHER_ALL },
 529                 { "ALL service =~ 'pattern'",     -1,  MATCHER_ALL },
 530                 { "ALL service !~ 'pattern'",     -1,  MATCHER_ALL },
 531                 { "ALL service &^ 'name'",        -1,  -1 },
 532                 /* match hosts by metric */
 533                 { "ANY metric < 'name'",          -1,  MATCHER_ANY },
 534                 { "ANY metric <= 'name'",         -1,  MATCHER_ANY },
 535                 { "ANY metric = 'name'",          -1,  MATCHER_ANY },
 536                 { "ANY metric != 'name'",         -1,  MATCHER_ANY },
 537                 { "ANY metric >= 'name'",         -1,  MATCHER_ANY },
 538                 { "ANY metric > 'name'",          -1,  MATCHER_ANY },
 539                 { "ANY metric =~ 'pattern'",      -1,  MATCHER_ANY },
 540                 { "ANY metric !~ 'pattern'",      -1,  MATCHER_ANY },
 541                 { "ANY metric &^ 'pattern'",      -1,  -1 },
 542                 { "ALL metric < 'name'",          -1,  MATCHER_ALL },
 543                 { "ALL metric <= 'name'",         -1,  MATCHER_ALL },
 544                 { "ALL metric = 'name'",          -1,  MATCHER_ALL },
 545                 { "ALL metric != 'name'",         -1,  MATCHER_ALL },
 546                 { "ALL metric >= 'name'",         -1,  MATCHER_ALL },
 547                 { "ALL metric > 'name'",          -1,  MATCHER_ALL },
 548                 { "ALL metric =~ 'pattern'",      -1,  MATCHER_ALL },
 549                 { "ALL metric !~ 'pattern'",      -1,  MATCHER_ALL },
 550                 { "ALL metric &^ 'pattern'",      -1,  -1 },
 551                 /* match hosts by attribute */
 552                 { "ANY attribute < 'name'",       -1,  MATCHER_ANY },
 553                 { "ANY attribute <= 'name'",      -1,  MATCHER_ANY },
 554                 { "ANY attribute = 'name'",       -1,  MATCHER_ANY },
 555                 { "ANY attribute != 'name'",      -1,  MATCHER_ANY },
 556                 { "ANY attribute >= 'name'",      -1,  MATCHER_ANY },
 557                 { "ANY attribute > 'name'",       -1,  MATCHER_ANY },
 558                 { "ANY attribute =~ 'pattern'",   -1,  MATCHER_ANY },
 559                 { "ANY attribute !~ 'pattern'",   -1,  MATCHER_ANY },
 560                 { "ANY attribute &^ 'pattern'",   -1,  -1 },
 561                 { "ALL attribute < 'name'",       -1,  MATCHER_ALL },
 562                 { "ALL attribute <= 'name'",      -1,  MATCHER_ALL },
 563                 { "ALL attribute = 'name'",       -1,  MATCHER_ALL },
 564                 { "ALL attribute != 'name'",      -1,  MATCHER_ALL },
 565                 { "ALL attribute >= 'name'",      -1,  MATCHER_ALL },
 566                 { "ALL attribute > 'name'",       -1,  MATCHER_ALL },
 567                 { "ALL attribute =~ 'pattern'",   -1,  MATCHER_ALL },
 568                 { "ALL attribute !~ 'pattern'",   -1,  MATCHER_ALL },
 569                 { "ALL attribute &^ 'pattern'",   -1,  -1 },
 570                 /* composite expressions */
 571                 { "name =~ 'pattern' AND "
 572                   "ANY service =~ 'pattern'",     -1,  MATCHER_AND },
 573                 { "name =~ 'pattern' OR "
 574                   "ANY service =~ 'pattern'",     -1,  MATCHER_OR },
 575                 { "NOT name = 'host'",            -1,  MATCHER_NOT },
 576                 /* numeric expressions */
 577                 { "attribute['foo'] < 123",       -1,  MATCHER_LT },
 578                 { "attribute['foo'] <= 123",      -1,  MATCHER_LE },
 579                 { "attribute['foo'] = 123",       -1,  MATCHER_EQ },
 580                 { "attribute['foo'] >= 123",      -1,  MATCHER_GE },
 581                 { "attribute['foo'] > 123",       -1,  MATCHER_GT },
 582                 /* datetime expressions */
 583                 { "attribute['foo'] = "
 584                   "2014-08-16",                   -1,  MATCHER_EQ },
 585                 { "attribute['foo'] = "
 586                   "17:23",                        -1,  MATCHER_EQ },
 587                 { "attribute['foo'] = "
 588                   "17:23:53",                     -1,  MATCHER_EQ },
 589                 { "attribute['foo'] = "
 590                   "17:23:53.123",                 -1,  MATCHER_EQ },
 591                 { "attribute['foo'] = "
 592                   "17:23:53.123456789",           -1,  MATCHER_EQ },
 593                 { "attribute['foo'] = "
 594                   "2014-08-16 17:23",             -1,  MATCHER_EQ },
 595                 { "attribute['foo'] = "
 596                   "2014-08-16 17:23:53",          -1,  MATCHER_EQ },
 597                 /* NULL; while this is an implementation detail,
 598                  * IS NULL currently maps to an equality matcher */
 599                 { "attribute['foo'] IS NULL",     -1,  MATCHER_ISNULL },
 600                 { "attribute['foo'] IS NOT NULL", -1,  MATCHER_ISNNULL },
 601                 /* array expressions */
 602                 { "backend < ['a']",              -1,  MATCHER_LT },
 603                 { "backend <= ['a']",             -1,  MATCHER_LE },
 604                 { "backend = ['a']",              -1,  MATCHER_EQ },
 605                 { "backend != ['a']",             -1,  MATCHER_NE },
 606                 { "backend >= ['a']",             -1,  MATCHER_GE },
 607                 { "backend > ['a']",              -1,  MATCHER_GT },
 608                 { "backend &^ ['a']",             -1,  -1 },
 609
 610                 /* object field matchers */
 611                 { "name < 'a'",                   -1,  MATCHER_LT },
 612                 { "name <= 'a'",                  -1,  MATCHER_LE },
 613                 { "name = 'a'",                   -1,  MATCHER_EQ },
 614                 { "name != 'a'",                  -1,  MATCHER_NE },
 615                 { "name >= 'a'",                  -1,  MATCHER_GE },
 616                 { "name > 'a'",                   -1,  MATCHER_GT },
 617                 { "last_update < 2014-10-01",     -1,  MATCHER_LT },
 618                 { "last_update <= 2014-10-01",    -1,  MATCHER_LE },
 619                 { "last_update = 2014-10-01",     -1,  MATCHER_EQ },
 620                 { "last_update != 2014-10-01",    -1,  MATCHER_NE },
 621                 { "last_update >= 2014-10-01",    -1,  MATCHER_GE },
 622                 { "last_update > 2014-10-01",     -1,  MATCHER_GT },
 623                 { "Last_Update >= 24D",           -1,  MATCHER_GE },
 624                 { "age < 20s",                    -1,  MATCHER_LT },
 625                 { "age <= 20s",                   -1,  MATCHER_LE },
 626                 { "age = 20s",                    -1,  MATCHER_EQ },
 627                 { "age != 20s",                   -1,  MATCHER_NE },
 628                 { "age >= 20s",                   -1,  MATCHER_GE },
 629                 { "age > 20s",                    -1,  MATCHER_GT },
 630                 { "AGE <= 1m",                    -1,  MATCHER_LE },
 631                 { "age > 1M",                     -1,  MATCHER_GT },
 632                 { "age != 20Y",                   -1,  MATCHER_NE },
 633                 { "age <= 2 * interval",          -1,  MATCHER_LE },
 634                 { "interval < 20s",               -1,  MATCHER_LT },
 635                 { "interval <= 20s",              -1,  MATCHER_LE },
 636                 { "interval = 20s",               -1,  MATCHER_EQ },
 637                 { "interval != 20s",              -1,  MATCHER_NE },
 638                 { "interval >= 20s",              -1,  MATCHER_GE },
 639                 { "interval > 20s",               -1,  MATCHER_GT },
 640                 { "'be' IN backend",              -1,  MATCHER_IN },
 641
 642                 /* check operator precedence */
 643                 { "name = 'name' OR "
 644                   "ANY service = 'name' AND "
 645                   "ANY attribute = 'name' OR "
 646                   "attribute['foo'] = 'bar'",     -1,  MATCHER_OR },
 647                 { "name = 'name' AND "
 648                   "ANY service = 'name' AND "
 649                   "ANY attribute = 'name' OR "
 650                   "attribute['foo'] = 'bar'",     -1,  MATCHER_OR },
 651                 { "name = 'name' AND "
 652                   "ANY service = 'name' OR "
 653                   "ANY attribute = 'name' AND "
 654                   "attribute['foo'] = 'bar'",     -1,  MATCHER_OR },
 655                 { "(name = 'name' OR "
 656                   "ANY service = 'name') AND "
 657                   "(ANY attribute = 'name' OR "
 658                   "attribute['foo'] = 'bar')",    -1,  MATCHER_AND },
 659                 { "NOT name = 'name' OR "
 660                   "ANY service = 'name'",         -1,  MATCHER_OR },
 661                 { "NOT name = 'name' OR "
 662                   "NOT ANY service = 'name'",     -1,  MATCHER_OR },
 663                 { "NOT (name = 'name' OR "
 664                   "NOT ANY service = 'name')",    -1,  MATCHER_NOT },
 665
 666                 /* syntax errors */
 667                 { "LIST",                         -1, -1 },
 668                 { "foo &^ bar",                   -1, -1 },
 669                 { "invalid",                      -1, -1 },
 670         };
 671
 672         sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
 673         size_t i;
 674
 675         for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
 676                 sdb_store_matcher_t *m;
 677                 m = sdb_fe_parse_matcher(golden_data[i].expr,
 678                                 golden_data[i].len, errbuf);
 679
 680                 if (golden_data[i].expected < 0) {
 681                         fail_unless(m == NULL,
 682                                         "sdb_fe_parse_matcher(%s) = %p; expected: NULL",
 683                                         golden_data[i].expr, m);
 684                         continue;
 685                 }
 686
 687                 fail_unless(m != NULL, "sdb_fe_parse_matcher(%s) = NULL; "
 688                                 "expected: <matcher> (parser error: %s)",
 689                                 golden_data[i].expr, sdb_strbuf_string(errbuf));
 690                 fail_unless(M(m)->type == golden_data[i].expected,
 691                                 "sdb_fe_parse_matcher(%s) returned matcher of type %d; "
 692                                 "expected: %d", golden_data[i].expr, M(m)->type,
 693                                 golden_data[i].expected);
 694
 695                 sdb_object_deref(SDB_OBJ(m));
 696         }
 697
 698         sdb_strbuf_destroy(errbuf);
 699 }
 700 END_TEST
 701
 702 START_TEST(test_parse_expr)
 703 {
 704         struct {
 705                 const char *expr;
 706                 int len;
 707                 int expected;
 708         } golden_data[] = {
 709                 /* empty expressions */
 710                 { NULL,                   -1, INT_MAX },
 711                 { "",                     -1, INT_MAX },
 712
 713                 /* constant expressions */
 714                 { "'localhost'",          -1, 0 },
 715                 { "123",                  -1, 0 },
 716                 { "2014-08-16",           -1, 0 },
 717                 { "17:23",                -1, 0 },
 718                 { "17:23:53",             -1, 0 },
 719                 { "17:23:53.123",         -1, 0 },
 720                 { "17:23:53.123456789",   -1, 0 },
 721                 { "2014-08-16 17:23",     -1, 0 },
 722                 { "2014-08-16 17:23:53",  -1, 0 },
 723                 { "10s",                  -1, 0 },
 724                 { "60m",                  -1, 0 },
 725                 { "10Y 24D 1h",           -1, 0 },
 726
 727                 { "123 + 456",            -1, 0 },
 728                 { "'foo' || 'bar'",       -1, 0 },
 729                 { "456 - 123",            -1, 0 },
 730                 { "1.2 * 3.4",            -1, 0 },
 731                 { "1.2 / 3.4",            -1, 0 },
 732                 { "5 % 2",                -1, 0 },
 733
 734                 /* queryable fields */
 735                 { "last_update",          -1, FIELD_VALUE },
 736                 { "AGE",                  -1, FIELD_VALUE },
 737                 { "interval",             -1, FIELD_VALUE },
 738                 { "Last_Update",          -1, FIELD_VALUE },
 739                 { "backend",              -1, FIELD_VALUE },
 740
 741                 /* attributes */
 742                 { "attribute['foo']",     -1, ATTR_VALUE },
 743
 744                 /* arithmetic expressions */
 745                 { "age + age",            -1, SDB_DATA_ADD },
 746                 { "age - age",            -1, SDB_DATA_SUB },
 747                 { "age * age",            -1, SDB_DATA_MUL },
 748                 { "age / age",            -1, SDB_DATA_DIV },
 749                 { "age % age",            -1, SDB_DATA_MOD },
 750                 { "age || age",           -1, SDB_DATA_CONCAT },
 751
 752                 /* operator precedence */
 753                 { "age + age * age",      -1, SDB_DATA_ADD },
 754                 { "age * age + age",      -1, SDB_DATA_ADD },
 755                 { "age + age - age",      -1, SDB_DATA_SUB },
 756                 { "age - age + age",      -1, SDB_DATA_ADD },
 757                 { "(age + age) * age",    -1, SDB_DATA_MUL },
 758                 { "age + (age * age)",    -1, SDB_DATA_ADD },
 759
 760                 /* syntax errors */
 761                 { "LIST",                 -1, INT_MAX },
 762                 { "foo &^ bar",           -1, INT_MAX },
 763                 { "invalid",              -1, INT_MAX },
 764         };
 765
 766         sdb_strbuf_t *errbuf = sdb_strbuf_create(64);
 767         size_t i;
 768
 769         for (i = 0; i < SDB_STATIC_ARRAY_LEN(golden_data); ++i) {
 770                 sdb_store_expr_t *e;
 771                 e = sdb_fe_parse_expr(golden_data[i].expr,
 772                                 golden_data[i].len, errbuf);
 773
 774                 if (golden_data[i].expected == INT_MAX) {
 775                         fail_unless(e == NULL,
 776                                         "sdb_fe_parse_expr(%s) = %p; expected: NULL",
 777                                         golden_data[i].expr, e);
 778                         continue;
 779                 }
 780
 781                 fail_unless(e != NULL, "sdb_fe_parse_expr(%s) = NULL; "
 782                                 "expected: <expr> (parser error: %s)",
 783                                 golden_data[i].expr, sdb_strbuf_string(errbuf));
 784                 fail_unless(e->type == golden_data[i].expected,
 785                                 "sdb_fe_parse_expr(%s) returned expression of type %d; "
 786                                 "expected: %d", golden_data[i].expr, e->type,
 787                                 golden_data[i].expected);
 788
 789                 sdb_object_deref(SDB_OBJ(e));
 790         }
 791
 792         sdb_strbuf_destroy(errbuf);
 793 }
 794 END_TEST
 795
 796 Suite *
 797 fe_parser_suite(void)
 798 {
 799         Suite *s = suite_create("frontend::parser");
 800         TCase *tc;
 801
 802         tc = tcase_create("core");
 803         tcase_add_test(tc, test_parse);
 804         tcase_add_test(tc, test_parse_matcher);
 805         tcase_add_test(tc, test_parse_expr);
 806         suite_add_tcase(s, tc);
 807
 808         return s;
 809 } /* util_parser_suite */
 810
 811 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */
 812