Code

store: Added child matchers.
[sysdb.git] / src / core / store_lookup.c
1 /*
2  * SysDB - src/core/store_lookup.c
3  * Copyright (C) 2014 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 /*
29  * This module implements operators which may be used to select contents of
30  * the store by matching various attributes of the stored objects. For now, a
31  * simple full table scan is supported only.
32  */
34 #if HAVE_CONFIG_H
35 #       include "config.h"
36 #endif /* HAVE_CONFIG_H */
38 #include "sysdb.h"
39 #include "core/store-private.h"
40 #include "core/object.h"
42 #include <assert.h>
44 #include <sys/types.h>
45 #include <regex.h>
47 #include <stdlib.h>
48 #include <string.h>
50 #include <limits.h>
52 /*
53  * private data types
54  */
56 typedef struct {
57         sdb_store_matcher_t *m;
58         sdb_store_matcher_t *filter;
59         sdb_store_lookup_cb  cb;
60         void *user_data;
61 } scan_iter_data_t;
63 /*
64  * private helper functions
65  */
67 static int
68 scan_iter(sdb_store_obj_t *obj, void *user_data)
69 {
70         scan_iter_data_t *d = user_data;
72         if (sdb_store_matcher_matches(d->m, obj, d->filter))
73                 return d->cb(obj, d->user_data);
74         return 0;
75 } /* scan_iter */
77 static sdb_attribute_t *
78 attr_get(sdb_host_t *host, const char *name, sdb_store_matcher_t *filter)
79 {
80         sdb_avltree_iter_t *iter = NULL;
81         sdb_attribute_t *attr = NULL;
83         iter = sdb_avltree_get_iter(host->attributes);
84         while (sdb_avltree_iter_has_next(iter)) {
85                 sdb_attribute_t *a = ATTR(sdb_avltree_iter_get_next(iter));
87                 if (strcasecmp(name, SDB_OBJ(a)->name))
88                         continue;
90                 assert(STORE_OBJ(a)->type == SDB_ATTRIBUTE);
91                 attr = a;
92                 break;
93         }
94         sdb_avltree_iter_destroy(iter);
96         if (filter && (! sdb_store_matcher_matches(filter, STORE_OBJ(attr),
97                                         NULL)))
98                 return NULL;
99         return attr;
100 } /* attr_get */
102 /*
103  * conditional implementations
104  */
106 static int
107 attr_cmp(sdb_store_obj_t *obj, sdb_store_cond_t *cond,
108                 sdb_store_matcher_t *filter)
110         sdb_attribute_t *attr;
111         sdb_data_t value = SDB_DATA_INIT;
112         int status;
114         if (obj->type != SDB_HOST)
115                 return INT_MAX;
117         if (sdb_store_expr_eval(ATTR_C(cond)->expr, obj, &value, filter))
118                 return INT_MAX;
120         attr = attr_get(HOST(obj), ATTR_C(cond)->name, filter);
121         if (! attr)
122                 status = INT_MAX;
123         else if (attr->value.type != value.type)
124                 status = sdb_data_strcmp(&attr->value, &value);
125         else
126                 status = sdb_data_cmp(&attr->value, &value);
127         sdb_data_free_datum(&value);
128         return status;
129 } /* attr_cmp */
131 static int
132 obj_cmp(sdb_store_obj_t *obj, sdb_store_cond_t *cond,
133                 sdb_store_matcher_t *filter)
135         sdb_data_t obj_value = SDB_DATA_INIT;
136         sdb_data_t value = SDB_DATA_INIT;
137         int status;
139         if (sdb_store_expr_eval(OBJ_C(cond)->expr, obj, &value, filter))
140                 return INT_MAX;
142         if (OBJ_C(cond)->field == SDB_FIELD_BACKEND) {
143                 /* this implementation is not actually a conditional but rather checks
144                  * for equality (or rather, existence) only */
145                 size_t i;
147                 if (value.type != SDB_TYPE_STRING)
148                         return INT_MAX;
150                 status = INT_MAX;
151                 for (i = 0; i < obj->backends_num; ++i) {
152                         if (! strcasecmp(obj->backends[i], value.data.string)) {
153                                 status = 0;
154                                 break;
155                         }
156                 }
157                 sdb_data_free_datum(&value);
158                 return status;
159         }
161         if (sdb_store_get_field(obj, OBJ_C(cond)->field, &obj_value))
162                 return INT_MAX;
163         if (obj_value.type != value.type) {
164                 sdb_data_free_datum(&obj_value);
165                 sdb_data_free_datum(&value);
166                 return INT_MAX;
167         }
169         status = sdb_data_cmp(&obj_value, &value);
170         sdb_data_free_datum(&obj_value);
171         sdb_data_free_datum(&value);
172         return status;
173 } /* obj_cmp */
175 /*
176  * matcher implementations
177  */
179 static int
180 match_string(string_matcher_t *m, const char *name)
182         if ((! m->name) && (! m->name_re))
183                 return 1;
185         if (! name)
186                 name = "";
188         if (m->name && strcasecmp(m->name, name))
189                 return 0;
190         if (m->name_re && regexec(m->name_re, name,
191                                         /* matches */ 0, NULL, /* flags = */ 0))
192                 return 0;
193         return 1;
194 } /* match_string */
196 static int
197 match_logical(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
198                 sdb_store_matcher_t *filter)
200         int status;
202         assert((m->type == MATCHER_AND) || (m->type == MATCHER_OR));
203         assert(OP_M(m)->left && OP_M(m)->right);
205         status = sdb_store_matcher_matches(OP_M(m)->left, obj, filter);
207         /* lazy evaluation */
208         if ((! status) && (m->type == MATCHER_AND))
209                 return status;
210         else if (status && (m->type == MATCHER_OR))
211                 return status;
213         return sdb_store_matcher_matches(OP_M(m)->right, obj, filter);
214 } /* match_logical */
216 static int
217 match_unary(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
218                 sdb_store_matcher_t *filter)
220         assert(m->type == MATCHER_NOT);
221         assert(UOP_M(m)->op);
223         return !sdb_store_matcher_matches(UOP_M(m)->op, obj, filter);
224 } /* match_unary */
226 static int
227 match_name(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
228                 sdb_store_matcher_t *filter)
230         sdb_avltree_iter_t *iter = NULL;
231         int status = 0;
233         assert(m->type == MATCHER_NAME);
235         if (obj->type == NAME_M(m)->obj_type)
236                 return match_string(&NAME_M(m)->name, SDB_OBJ(obj)->name);
237         else if (obj->type != SDB_HOST)
238                 return 0;
240         switch (NAME_M(m)->obj_type) {
241                 case SDB_SERVICE:
242                         iter = sdb_avltree_get_iter(HOST(obj)->services);
243                         break;
244                 case SDB_METRIC:
245                         iter = sdb_avltree_get_iter(HOST(obj)->metrics);
246                         break;
247                 case SDB_ATTRIBUTE:
248                         iter = sdb_avltree_get_iter(HOST(obj)->attributes);
249                         break;
250         }
252         while (sdb_avltree_iter_has_next(iter)) {
253                 sdb_object_t *child = sdb_avltree_iter_get_next(iter);
254                 if (filter && (! sdb_store_matcher_matches(filter, STORE_OBJ(child),
255                                                 NULL)))
256                         continue;
257                 if (match_string(&NAME_M(m)->name, child->name)) {
258                         status = 1;
259                         break;
260                 }
261         }
262         sdb_avltree_iter_destroy(iter);
263         return status;
264 } /* match_name */
266 static int
267 match_attr(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
268                 sdb_store_matcher_t *filter)
270         sdb_attribute_t *attr;
272         assert(m->type == MATCHER_ATTR);
273         assert(ATTR_M(m)->name);
275         if (obj->type != SDB_HOST)
276                 return 0;
278         attr = attr_get(HOST(obj), ATTR_M(m)->name, filter);
279         if (attr) {
280                 char buf[sdb_data_strlen(&attr->value) + 1];
281                 if (sdb_data_format(&attr->value, buf, sizeof(buf), SDB_UNQUOTED) <= 0)
282                         return 0;
283                 if (match_string(&ATTR_M(m)->value, buf))
284                         return 1;
285         }
286         return 0;
287 } /* match_attr */
289 static int
290 match_child(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
291                 sdb_store_matcher_t *filter)
293         sdb_avltree_iter_t *iter = NULL;
294         int status = 0;
296         assert((m->type == MATCHER_SERVICE)
297                         || (m->type == MATCHER_METRIC)
298                         || (m->type == MATCHER_ATTRIBUTE));
300         /* TODO: support all object types */
301         if (obj->type != SDB_HOST)
302                 return 0;
304         if (m->type == MATCHER_SERVICE)
305                 iter = sdb_avltree_get_iter(HOST(obj)->services);
306         else if (m->type == MATCHER_METRIC)
307                 iter = sdb_avltree_get_iter(HOST(obj)->metrics);
308         else if (m->type == SDB_ATTRIBUTE)
309                 iter = sdb_avltree_get_iter(HOST(obj)->attributes);
311         while (sdb_avltree_iter_has_next(iter)) {
312                 sdb_object_t *child = sdb_avltree_iter_get_next(iter);
313                 if (filter && (! sdb_store_matcher_matches(filter,
314                                                 STORE_OBJ(child), NULL)))
315                         continue;
317                 if (sdb_store_matcher_matches(CHILD_M(m)->m, obj, filter)) {
318                         status = 1;
319                         break;
320                 }
321         }
322         sdb_avltree_iter_destroy(iter);
323         return status;
324 } /* match_child */
326 static int
327 match_lt(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
328                 sdb_store_matcher_t *filter)
330         int status;
331         assert(m->type == MATCHER_LT);
332         status = COND_M(m)->cond->cmp(obj, COND_M(m)->cond, filter);
333         return (status != INT_MAX) && (status < 0);
334 } /* match_lt */
336 static int
337 match_le(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
338                 sdb_store_matcher_t *filter)
340         int status;
341         assert(m->type == MATCHER_LE);
342         status = COND_M(m)->cond->cmp(obj, COND_M(m)->cond, filter);
343         return (status != INT_MAX) && (status <= 0);
344 } /* match_le */
346 static int
347 match_eq(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
348                 sdb_store_matcher_t *filter)
350         int status;
351         assert(m->type == MATCHER_EQ);
352         status = COND_M(m)->cond->cmp(obj, COND_M(m)->cond, filter);
353         return (status != INT_MAX) && (! status);
354 } /* match_eq */
356 static int
357 match_ge(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
358                 sdb_store_matcher_t *filter)
360         int status;
361         assert(m->type == MATCHER_GE);
362         status = COND_M(m)->cond->cmp(obj, COND_M(m)->cond, filter);
363         return (status != INT_MAX) && (status >= 0);
364 } /* match_ge */
366 static int
367 match_gt(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
368                 sdb_store_matcher_t *filter)
370         int status;
371         assert(m->type == MATCHER_GT);
372         status = COND_M(m)->cond->cmp(obj, COND_M(m)->cond, filter);
373         return (status != INT_MAX) && (status > 0);
374 } /* match_gt */
376 /*
377  * cmp_expr:
378  * Compare the values of two expressions when evaluating them using the
379  * specified stored object and filter. Returns a value less than, equal to, or
380  * greater than zero if the value of the first expression compares less than,
381  * equal to, or greater than the value of the second expression. Returns
382  * INT_MAX if any of the expressions could not be evaluated.
383  */
384 static int
385 cmp_expr(sdb_store_expr_t *e1, sdb_store_expr_t *e2,
386                 sdb_store_obj_t *obj, sdb_store_matcher_t *filter)
388         sdb_data_t v1 = SDB_DATA_INIT, v2 = SDB_DATA_INIT;
389         int status;
391         if (sdb_store_expr_eval(e1, obj, &v1, filter))
392                 return INT_MAX;
393         if (sdb_store_expr_eval(e2, obj, &v2, filter)) {
394                 sdb_data_free_datum(&v1);
395                 return INT_MAX;
396         }
398         if (v1.type == v2.type)
399                 status = sdb_data_cmp(&v1, &v2);
400         else
401                 status = sdb_data_strcmp(&v1, &v2);
403         sdb_data_free_datum(&v1);
404         sdb_data_free_datum(&v2);
405         return status;
406 } /* cmp_expr */
408 static int
409 match_cmp_lt(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
410                 sdb_store_matcher_t *filter)
412         int status;
413         assert(m->type == MATCHER_CMP_LT);
414         status = cmp_expr(CMP_M(m)->left, CMP_M(m)->right, obj, filter);
415         return (status != INT_MAX) && (status < 0);
416 } /* match_cmp_lt */
418 static int
419 match_cmp_le(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
420                 sdb_store_matcher_t *filter)
422         int status;
423         assert(m->type == MATCHER_CMP_LE);
424         status = cmp_expr(CMP_M(m)->left, CMP_M(m)->right, obj, filter);
425         return (status != INT_MAX) && (status <= 0);
426 } /* match_cmp_le */
428 static int
429 match_cmp_eq(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
430                 sdb_store_matcher_t *filter)
432         int status;
433         assert(m->type == MATCHER_CMP_EQ);
434         status = cmp_expr(CMP_M(m)->left, CMP_M(m)->right, obj, filter);
435         return (status != INT_MAX) && (! status);
436 } /* match_cmp_eq */
438 static int
439 match_cmp_ge(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
440                 sdb_store_matcher_t *filter)
442         int status;
443         assert(m->type == MATCHER_CMP_GE);
444         status = cmp_expr(CMP_M(m)->left, CMP_M(m)->right, obj, filter);
445         return (status != INT_MAX) && (status >= 0);
446 } /* match_cmp_ge */
448 static int
449 match_cmp_gt(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
450                 sdb_store_matcher_t *filter)
452         int status;
453         assert(m->type == MATCHER_CMP_GT);
454         status = cmp_expr(CMP_M(m)->left, CMP_M(m)->right, obj, filter);
455         return (status != INT_MAX) && (status > 0);
456 } /* match_cmp_gt */
458 static int
459 match_isnull(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
460                 sdb_store_matcher_t *filter)
462         assert(m->type == MATCHER_ISNULL);
463         if (obj->type != SDB_HOST)
464                 return 0;
465         return attr_get(HOST(obj), ISNULL_M(m)->attr_name, filter) == NULL;
466 } /* match_isnull */
468 typedef int (*matcher_cb)(sdb_store_matcher_t *, sdb_store_obj_t *,
469                 sdb_store_matcher_t *);
471 /* this array needs to be indexable by the matcher types;
472  * -> update the enum in store-private.h when updating this */
473 static matcher_cb
474 matchers[] = {
475         match_logical,
476         match_logical,
477         match_unary,
478         match_name,
479         match_attr,
480         match_child,
481         match_child,
482         match_child,
483         match_lt,
484         match_le,
485         match_eq,
486         match_ge,
487         match_gt,
488         match_cmp_lt,
489         match_cmp_le,
490         match_cmp_eq,
491         match_cmp_ge,
492         match_cmp_gt,
493         match_isnull,
494 };
496 /*
497  * private conditional types
498  */
500 static int
501 attr_cond_init(sdb_object_t *obj, va_list ap)
503         const char *name = va_arg(ap, const char *);
504         sdb_store_expr_t *expr = va_arg(ap, sdb_store_expr_t *);
506         if (! name)
507                 return -1;
509         SDB_STORE_COND(obj)->cmp = attr_cmp;
511         ATTR_C(obj)->name = strdup(name);
512         if (! ATTR_C(obj)->name)
513                 return -1;
514         ATTR_C(obj)->expr = expr;
515         sdb_object_ref(SDB_OBJ(expr));
516         return 0;
517 } /* attr_cond_init */
519 static void
520 attr_cond_destroy(sdb_object_t *obj)
522         if (ATTR_C(obj)->name)
523                 free(ATTR_C(obj)->name);
524         sdb_object_deref(SDB_OBJ(ATTR_C(obj)->expr));
525 } /* attr_cond_destroy */
527 static sdb_type_t attr_cond_type = {
528         /* size = */ sizeof(attr_cond_t),
529         /* init = */ attr_cond_init,
530         /* destroy = */ attr_cond_destroy,
531 };
533 static int
534 obj_cond_init(sdb_object_t *obj, va_list ap)
536         int field = va_arg(ap, int);
537         sdb_store_expr_t *expr = va_arg(ap, sdb_store_expr_t *);
539         SDB_STORE_COND(obj)->cmp = obj_cmp;
541         OBJ_C(obj)->field = field;
542         OBJ_C(obj)->expr = expr;
543         sdb_object_ref(SDB_OBJ(expr));
544         return 0;
545 } /* obj_cond_init */
547 static void
548 obj_cond_destroy(sdb_object_t *obj)
550         sdb_object_deref(SDB_OBJ(OBJ_C(obj)->expr));
551 } /* obj_cond_destroy */
553 static sdb_type_t obj_cond_type = {
554         /* size = */ sizeof(obj_cond_t),
555         /* init = */ obj_cond_init,
556         /* destroy = */ obj_cond_destroy,
557 };
559 /*
560  * private matcher types
561  */
563 /* initializes a string matcher consuming two elements from ap */
564 static int
565 string_matcher_init(string_matcher_t *m, va_list ap)
567         const char *name = va_arg(ap, const char *);
568         const char *name_re = va_arg(ap, const char *);
570         if (name) {
571                 m->name = strdup(name);
572                 if (! m->name)
573                         return -1;
574         }
575         if (name_re) {
576                 m->name_re = malloc(sizeof(*m->name_re));
577                 if (! m->name_re)
578                         return -1;
579                 if (regcomp(m->name_re, name_re, REG_EXTENDED | REG_ICASE | REG_NOSUB))
580                         return -1;
581         }
582         return 0;
583 } /* string_matcher_init */
585 static void
586 string_matcher_destroy(string_matcher_t *m)
588         if (m->name)
589                 free(m->name);
590         if (m->name_re) {
591                 regfree(m->name_re);
592                 free(m->name_re);
593         }
594 } /* string_matcher_destroy */
596 static char *
597 string_tostring(string_matcher_t *m, char *buf, size_t buflen)
599         snprintf(buf, buflen, "{ %s%s%s, %p }",
600                         m->name ? "'" : "", m->name ? m->name : "NULL", m->name ? "'" : "",
601                         m->name_re);
602         return buf;
603 } /* string_tostring */
605 /* initializes a name matcher */
606 static int
607 name_matcher_init(sdb_object_t *obj, va_list ap)
609         name_matcher_t *m = NAME_M(obj);
610         M(obj)->type = MATCHER_NAME;
611         return string_matcher_init(&m->name, ap);
612 } /* name_matcher_init */
614 static void
615 name_matcher_destroy(sdb_object_t *obj)
617         name_matcher_t *m = NAME_M(obj);
618         string_matcher_destroy(&m->name);
619 } /* name_matcher_destroy */
621 static char *
622 name_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
624         char name[buflen + 1];
625         assert(m->type == MATCHER_NAME);
626         snprintf(buf, buflen, "OBJ[%s]{ NAME%s }",
627                         SDB_STORE_TYPE_TO_NAME(NAME_M(m)->obj_type),
628                         string_tostring(&NAME_M(m)->name, name, sizeof(name)));
629         return buf;
630 } /* name_tostring */
632 static int
633 attr_matcher_init(sdb_object_t *obj, va_list ap)
635         attr_matcher_t *attr = ATTR_M(obj);
636         const char *name = va_arg(ap, const char *);
638         M(obj)->type = MATCHER_ATTR;
639         if (name) {
640                 attr->name = strdup(name);
641                 if (! attr->name)
642                         return -1;
643         }
644         return string_matcher_init(&attr->value, ap);
645 } /* attr_matcher_init */
647 static void
648 attr_matcher_destroy(sdb_object_t *obj)
650         attr_matcher_t *attr = ATTR_M(obj);
651         if (attr->name)
652                 free(attr->name);
653         attr->name = NULL;
654         string_matcher_destroy(&attr->value);
655 } /* attr_matcher_destroy */
657 static char *
658 attr_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
660         char value[buflen + 1];
662         if (! m) {
663                 snprintf(buf, buflen, "ATTR{}");
664                 return buf;
665         }
667         assert(m->type == MATCHER_ATTR);
668         snprintf(buf, buflen, "ATTR[%s]{ VALUE%s }", ATTR_M(m)->name,
669                         string_tostring(&ATTR_M(m)->value, value, sizeof(value)));
670         return buf;
671 } /* attr_tostring */
673 static int
674 cond_matcher_init(sdb_object_t *obj, va_list ap)
676         int type = va_arg(ap, int);
677         sdb_store_cond_t *cond = va_arg(ap, sdb_store_cond_t *);
679         if (! cond)
680                 return -1;
682         sdb_object_ref(SDB_OBJ(cond));
684         M(obj)->type = type;
685         COND_M(obj)->cond = cond;
686         return 0;
687 } /* cond_matcher_init */
689 static void
690 cond_matcher_destroy(sdb_object_t *obj)
692         sdb_object_deref(SDB_OBJ(COND_M(obj)->cond));
693 } /* cond_matcher_destroy */
695 static char *
696 cond_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
698         const char *type, *id;
699         sdb_data_t value = SDB_DATA_INIT;
700         char value_str[buflen];
701         sdb_store_expr_t *expr;
703         if (COND_M(m)->cond->cmp == attr_cmp) {
704                 type = "ATTR";
705                 id = ATTR_C(COND_M(m)->cond)->name;
706                 expr = ATTR_C(COND_M(m)->cond)->expr;
707         }
708         else if (COND_M(m)->cond->cmp == obj_cmp) {
709                 type = "OBJ";
710                 id = SDB_FIELD_TO_NAME(OBJ_C(COND_M(m)->cond)->field);
711                 expr = OBJ_C(COND_M(m)->cond)->expr;
712         }
713         else {
714                 snprintf(buf, buflen, "<unknown>");
715                 return buf;
716         }
718         if (sdb_store_expr_eval(expr, /* obj */ NULL, &value, /* filter */ NULL))
719                 snprintf(value_str, sizeof(value_str), "ERR");
720         else if (sdb_data_format(&value, value_str, sizeof(value_str),
721                                 SDB_SINGLE_QUOTED) < 0)
722                 snprintf(value_str, sizeof(value_str), "ERR");
723         snprintf(buf, buflen, "%s[%s]{ %s %s }", type, id,
724                         MATCHER_SYM(m->type), value_str);
725         sdb_data_free_datum(&value);
726         return buf;
727 } /* cond_tostring */
729 static int
730 op_matcher_init(sdb_object_t *obj, va_list ap)
732         M(obj)->type = va_arg(ap, int);
733         if ((M(obj)->type != MATCHER_OR) && (M(obj)->type != MATCHER_AND))
734                 return -1;
736         OP_M(obj)->left = va_arg(ap, sdb_store_matcher_t *);
737         sdb_object_ref(SDB_OBJ(OP_M(obj)->left));
738         OP_M(obj)->right = va_arg(ap, sdb_store_matcher_t *);
739         sdb_object_ref(SDB_OBJ(OP_M(obj)->right));
741         if ((! OP_M(obj)->left) || (! OP_M(obj)->right))
742                 return -1;
743         return 0;
744 } /* op_matcher_init */
746 static void
747 op_matcher_destroy(sdb_object_t *obj)
749         if (OP_M(obj)->left)
750                 sdb_object_deref(SDB_OBJ(OP_M(obj)->left));
751         if (OP_M(obj)->right)
752                 sdb_object_deref(SDB_OBJ(OP_M(obj)->right));
753 } /* op_matcher_destroy */
755 static char *
756 op_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
758         char left[buflen + 1], right[buflen + 1];
760         if (! m) {
761                 /* this should not happen */
762                 snprintf(buf, buflen, "()");
763                 return buf;
764         }
766         assert((m->type == MATCHER_OR) || (m->type == MATCHER_AND));
767         snprintf(buf, buflen, "(%s, %s, %s)",
768                         m->type == MATCHER_OR ? "OR" : "AND",
769                         sdb_store_matcher_tostring(OP_M(m)->left, left, sizeof(left)),
770                         sdb_store_matcher_tostring(OP_M(m)->right, right, sizeof(right)));
771         return buf;
772 } /* op_tostring */
774 static int
775 child_matcher_init(sdb_object_t *obj, va_list ap)
777         M(obj)->type = va_arg(ap, int);
778         CHILD_M(obj)->m = va_arg(ap, sdb_store_matcher_t *);
780         if (! CHILD_M(obj)->m)
781                 return -1;
783         sdb_object_ref(SDB_OBJ(CHILD_M(obj)->m));
784         return 0;
785 } /* child_matcher_init */
787 static void
788 child_matcher_destroy(sdb_object_t *obj)
790         sdb_object_deref(SDB_OBJ(CHILD_M(obj)->m));
791 } /* child_matcher_destroy */
793 static char *
794 child_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
796         snprintf(buf, buflen, "%s:", MATCHER_SYM(m->type));
797         buf[buflen - 1] = '\0';
798         sdb_store_matcher_tostring(CHILD_M(m)->m,
799                         buf + strlen(buf), buflen - strlen(buf));
800         return buf;
801 } /* child_tostring */
803 static int
804 cmp_matcher_init(sdb_object_t *obj, va_list ap)
806         M(obj)->type = va_arg(ap, int);
808         CMP_M(obj)->left = va_arg(ap, sdb_store_expr_t *);
809         sdb_object_ref(SDB_OBJ(CMP_M(obj)->left));
810         CMP_M(obj)->right = va_arg(ap, sdb_store_expr_t *);
811         sdb_object_ref(SDB_OBJ(CMP_M(obj)->right));
813         if ((! CMP_M(obj)->left) || (! CMP_M(obj)->right))
814                 return -1;
815         return 0;
816 } /* cmp_matcher_init */
818 static void
819 cmp_matcher_destroy(sdb_object_t *obj)
821         sdb_object_deref(SDB_OBJ(CMP_M(obj)->left));
822         sdb_object_deref(SDB_OBJ(CMP_M(obj)->right));
823 } /* cmp_matcher_destroy */
825 static char *
826 cmp_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
828         if (! m) {
829                 /* this should not happen */
830                 snprintf(buf, buflen, "()");
831                 return buf;
832         }
834         /* TODO */
835         snprintf(buf, buflen, "CMP_MATCHER(%d)", m->type);
836         return buf;
837 } /* cmp_tostring */
839 static int
840 uop_matcher_init(sdb_object_t *obj, va_list ap)
842         M(obj)->type = va_arg(ap, int);
843         if (M(obj)->type != MATCHER_NOT)
844                 return -1;
846         UOP_M(obj)->op = va_arg(ap, sdb_store_matcher_t *);
847         sdb_object_ref(SDB_OBJ(UOP_M(obj)->op));
849         if (! UOP_M(obj)->op)
850                 return -1;
851         return 0;
852 } /* uop_matcher_init */
854 static void
855 uop_matcher_destroy(sdb_object_t *obj)
857         if (UOP_M(obj)->op)
858                 sdb_object_deref(SDB_OBJ(UOP_M(obj)->op));
859 } /* uop_matcher_destroy */
861 static char *
862 uop_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
864         char op[buflen + 1];
866         if (! m) {
867                 /* this should not happen */
868                 snprintf(buf, buflen, "()");
869                 return buf;
870         }
872         assert(m->type == MATCHER_NOT);
873         snprintf(buf, buflen, "(NOT, %s)",
874                         sdb_store_matcher_tostring(UOP_M(m)->op, op, sizeof(op)));
875         return buf;
876 } /* uop_tostring */
878 static int
879 isnull_matcher_init(sdb_object_t *obj, va_list ap)
881         const char *name;
883         M(obj)->type = va_arg(ap, int);
884         if (M(obj)->type != MATCHER_ISNULL)
885                 return -1;
887         name = va_arg(ap, const char *);
888         if (! name)
889                 return -1;
890         ISNULL_M(obj)->attr_name = strdup(name);
891         if (! ISNULL_M(obj)->attr_name)
892                 return -1;
893         return 0;
894 } /* isnull_matcher_init */
896 static void
897 isnull_matcher_destroy(sdb_object_t *obj)
899         if (ISNULL_M(obj)->attr_name)
900                 free(ISNULL_M(obj)->attr_name);
901         ISNULL_M(obj)->attr_name = NULL;
902 } /* isnull_matcher_destroy */
904 static char *
905 isnull_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
907         snprintf(buf, buflen, "(IS NULL, ATTR[%s])", ISNULL_M(m)->attr_name);
908         return buf;
909 } /* isnull_tostring */
911 static sdb_type_t name_type = {
912         /* size = */ sizeof(name_matcher_t),
913         /* init = */ name_matcher_init,
914         /* destroy = */ name_matcher_destroy,
915 };
917 static sdb_type_t attr_type = {
918         /* size = */ sizeof(attr_matcher_t),
919         /* init = */ attr_matcher_init,
920         /* destroy = */ attr_matcher_destroy,
921 };
923 static sdb_type_t cond_type = {
924         /* size = */ sizeof(cond_matcher_t),
925         /* init = */ cond_matcher_init,
926         /* destroy = */ cond_matcher_destroy,
927 };
929 static sdb_type_t op_type = {
930         /* size = */ sizeof(op_matcher_t),
931         /* init = */ op_matcher_init,
932         /* destroy = */ op_matcher_destroy,
933 };
935 static sdb_type_t uop_type = {
936         /* size = */ sizeof(uop_matcher_t),
937         /* init = */ uop_matcher_init,
938         /* destroy = */ uop_matcher_destroy,
939 };
941 static sdb_type_t child_type = {
942         /* size = */ sizeof(child_matcher_t),
943         /* init = */ child_matcher_init,
944         /* destroy = */ child_matcher_destroy,
945 };
947 static sdb_type_t cmp_type = {
948         /* size = */ sizeof(cmp_matcher_t),
949         /* init = */ cmp_matcher_init,
950         /* destroy = */ cmp_matcher_destroy,
951 };
953 static sdb_type_t isnull_type = {
954         /* size = */ sizeof(isnull_matcher_t),
955         /* init = */ isnull_matcher_init,
956         /* destroy = */ isnull_matcher_destroy,
957 };
959 typedef char *(*matcher_tostring_cb)(sdb_store_matcher_t *, char *, size_t);
961 /* this array needs to be indexable by the matcher types;
962  * -> update the enum in store-private.h when updating this */
963 static matcher_tostring_cb
964 matchers_tostring[] = {
965         op_tostring,
966         op_tostring,
967         uop_tostring,
968         name_tostring,
969         attr_tostring,
970         child_tostring,
971         child_tostring,
972         child_tostring,
973         cond_tostring,
974         cond_tostring,
975         cond_tostring,
976         cond_tostring,
977         cond_tostring,
978         cmp_tostring,
979         cmp_tostring,
980         cmp_tostring,
981         cmp_tostring,
982         cmp_tostring,
983         isnull_tostring,
984 };
986 /*
987  * public API
988  */
990 sdb_store_cond_t *
991 sdb_store_attr_cond(const char *name, sdb_store_expr_t *expr)
993         return SDB_STORE_COND(sdb_object_create("attr-cond", attr_cond_type,
994                                 name, expr));
995 } /* sdb_store_attr_cond */
997 sdb_store_cond_t *
998 sdb_store_obj_cond(int field, sdb_store_expr_t *expr)
1000         return SDB_STORE_COND(sdb_object_create("obj-cond", obj_cond_type,
1001                                 field, expr));
1002 } /* sdb_store_obj_cond */
1004 sdb_store_matcher_t *
1005 sdb_store_name_matcher(int type, const char *name, _Bool re)
1007         sdb_store_matcher_t *m;
1009         if (re)
1010                 m = M(sdb_object_create("name-matcher", name_type, NULL, name));
1011         else
1012                 m = M(sdb_object_create("name-matcher", name_type, name, NULL));
1014         if (! m)
1015                 return NULL;
1017         NAME_M(m)->obj_type = type;
1018         return m;
1019 } /* sdb_store_name_matcher */
1021 sdb_store_matcher_t *
1022 sdb_store_attr_matcher(const char *name, const char *value, _Bool re)
1024         sdb_store_matcher_t *m;
1026         if (! name)
1027                 return NULL;
1029         if (re)
1030                 m = M(sdb_object_create("attr-matcher", attr_type,
1031                                         name, NULL, value));
1032         else
1033                 m = M(sdb_object_create("attr-matcher", attr_type,
1034                                         name, value, NULL));
1035         return m;
1036 } /* sdb_store_attr_matcher */
1038 sdb_store_matcher_t *
1039 sdb_store_child_matcher(int type, sdb_store_matcher_t *m)
1041         if (type == SDB_SERVICE)
1042                 type = MATCHER_SERVICE;
1043         else if (type == SDB_METRIC)
1044                 type = MATCHER_METRIC;
1045         else if (type == SDB_ATTRIBUTE)
1046                 type = MATCHER_ATTRIBUTE;
1047         else
1048                 return NULL;
1049         return M(sdb_object_create("any-matcher", child_type, type, m));
1050 } /* sdb_store_child_matcher */
1052 sdb_store_matcher_t *
1053 sdb_store_lt_matcher(sdb_store_cond_t *cond)
1055         return M(sdb_object_create("lt-matcher", cond_type,
1056                                 MATCHER_LT, cond));
1057 } /* sdb_store_lt_matcher */
1059 sdb_store_matcher_t *
1060 sdb_store_le_matcher(sdb_store_cond_t *cond)
1062         return M(sdb_object_create("le-matcher", cond_type,
1063                                 MATCHER_LE, cond));
1064 } /* sdb_store_le_matcher */
1066 sdb_store_matcher_t *
1067 sdb_store_eq_matcher(sdb_store_cond_t *cond)
1069         return M(sdb_object_create("eq-matcher", cond_type,
1070                                 MATCHER_EQ, cond));
1071 } /* sdb_store_eq_matcher */
1073 sdb_store_matcher_t *
1074 sdb_store_ge_matcher(sdb_store_cond_t *cond)
1076         return M(sdb_object_create("ge-matcher", cond_type,
1077                                 MATCHER_GE, cond));
1078 } /* sdb_store_ge_matcher */
1080 sdb_store_matcher_t *
1081 sdb_store_gt_matcher(sdb_store_cond_t *cond)
1083         return M(sdb_object_create("gt-matcher", cond_type,
1084                                 MATCHER_GT, cond));
1085 } /* sdb_store_gt_matcher */
1087 /*
1088  * TODO: Rename sdb_store_cmp_* to sdb_store_* once the old code is unused and
1089  * has been removed.
1090  */
1092 sdb_store_matcher_t *
1093 sdb_store_cmp_lt(sdb_store_expr_t *left, sdb_store_expr_t *right)
1095         return M(sdb_object_create("lt-matcher", cmp_type,
1096                                 MATCHER_CMP_LT, left, right));
1097 } /* sdb_store_cmp_lt */
1099 sdb_store_matcher_t *
1100 sdb_store_cmp_le(sdb_store_expr_t *left, sdb_store_expr_t *right)
1102         return M(sdb_object_create("le-matcher", cmp_type,
1103                                 MATCHER_CMP_LE, left, right));
1104 } /* sdb_store_cmp_le */
1106 sdb_store_matcher_t *
1107 sdb_store_cmp_eq(sdb_store_expr_t *left, sdb_store_expr_t *right)
1109         return M(sdb_object_create("eq-matcher", cmp_type,
1110                                 MATCHER_CMP_EQ, left, right));
1111 } /* sdb_store_cmp_eq */
1113 sdb_store_matcher_t *
1114 sdb_store_cmp_ge(sdb_store_expr_t *left, sdb_store_expr_t *right)
1116         return M(sdb_object_create("ge-matcher", cmp_type,
1117                                 MATCHER_CMP_GE, left, right));
1118 } /* sdb_store_cmp_ge */
1120 sdb_store_matcher_t *
1121 sdb_store_cmp_gt(sdb_store_expr_t *left, sdb_store_expr_t *right)
1123         return M(sdb_object_create("gt-matcher", cmp_type,
1124                                 MATCHER_CMP_GT, left, right));
1125 } /* sdb_store_cmp_gt */
1127 sdb_store_matcher_t *
1128 sdb_store_isnull_matcher(const char *attr_name)
1130         return M(sdb_object_create("isnull-matcher", isnull_type,
1131                                 MATCHER_ISNULL, attr_name));
1132 } /* sdb_store_isnull_matcher */
1134 int
1135 sdb_store_parse_object_type_plural(const char *name)
1137         if (! strcasecmp(name, "hosts"))
1138                 return SDB_HOST;
1139         else if (! strcasecmp(name, "services"))
1140                 return SDB_SERVICE;
1141         else if (! strcasecmp(name, "metrics"))
1142                 return SDB_METRIC;
1143         return -1;
1144 } /* sdb_store_parse_object_type_plural */
1146 int
1147 sdb_store_parse_field_name(const char *name)
1149         if (! strcasecmp(name, "name"))
1150                 return SDB_FIELD_NAME;
1151         else if (! strcasecmp(name, "last_update"))
1152                 return SDB_FIELD_LAST_UPDATE;
1153         else if (! strcasecmp(name, "age"))
1154                 return SDB_FIELD_AGE;
1155         else if (! strcasecmp(name, "interval"))
1156                 return SDB_FIELD_INTERVAL;
1157         else if (! strcasecmp(name, "backend"))
1158                 return SDB_FIELD_BACKEND;
1159         return -1;
1160 } /* sdb_store_parse_field_name */
1162 static sdb_store_matcher_t *
1163 maybe_inv_matcher(sdb_store_matcher_t *m, _Bool inv)
1165         sdb_store_matcher_t *tmp;
1167         if ((! m) || (! inv))
1168                 return m;
1170         tmp = sdb_store_inv_matcher(m);
1171         /* pass ownership to the inverse matcher */
1172         sdb_object_deref(SDB_OBJ(m));
1173         return tmp;
1174 } /* maybe_inv_matcher */
1176 static int
1177 parse_cond_op(const char *op,
1178                 sdb_store_matcher_t *(**matcher)(sdb_store_cond_t *), _Bool *inv)
1180         *inv = 0;
1181         if (! strcasecmp(op, "<"))
1182                 *matcher = sdb_store_lt_matcher;
1183         else if (! strcasecmp(op, "<="))
1184                 *matcher = sdb_store_le_matcher;
1185         else if (! strcasecmp(op, "="))
1186                 *matcher = sdb_store_eq_matcher;
1187         else if (! strcasecmp(op, ">="))
1188                 *matcher = sdb_store_ge_matcher;
1189         else if (! strcasecmp(op, ">"))
1190                 *matcher = sdb_store_gt_matcher;
1191         else if (! strcasecmp(op, "!=")) {
1192                 *matcher = sdb_store_eq_matcher;
1193                 *inv = 1;
1194         }
1195         else
1196                 return -1;
1197         return 0;
1198 } /* parse_cond_op */
1200 static sdb_store_matcher_t *
1201 parse_attr_cmp(const char *attr, const char *op, sdb_store_expr_t *expr)
1203         sdb_store_matcher_t *(*matcher)(sdb_store_cond_t *) = NULL;
1204         sdb_store_matcher_t *m;
1205         sdb_store_cond_t *cond;
1206         _Bool inv = 0;
1208         if (! attr)
1209                 return NULL;
1211         if (! strcasecmp(op, "IS")) {
1212                 if (! expr)
1213                         return sdb_store_isnull_matcher(attr);
1214                 else
1215                         return NULL;
1216         }
1217         else if (! expr)
1218                 return NULL;
1219         else if (parse_cond_op(op, &matcher, &inv))
1220                 return NULL;
1222         cond = sdb_store_attr_cond(attr, expr);
1223         if (! cond)
1224                 return NULL;
1226         m = matcher(cond);
1227         /* pass ownership to 'm' or destroy in case of an error */
1228         sdb_object_deref(SDB_OBJ(cond));
1229         return maybe_inv_matcher(m, inv);
1230 } /* parse_attr_cmp */
1232 sdb_store_matcher_t *
1233 sdb_store_matcher_parse_cmp(const char *obj_type, const char *attr,
1234                 const char *op, sdb_store_expr_t *expr)
1236         int type = -1;
1237         _Bool inv = 0;
1238         _Bool re = 0;
1240         sdb_data_t value = SDB_DATA_INIT;
1241         sdb_store_matcher_t *m = NULL;
1243         if (! strcasecmp(obj_type, "host"))
1244                 type = SDB_HOST;
1245         else if (! strcasecmp(obj_type, "service"))
1246                 type = SDB_SERVICE;
1247         else if (! strcasecmp(obj_type, "metric"))
1248                 type = SDB_METRIC;
1249         else if (! strcasecmp(obj_type, "attribute"))
1250                 type = SDB_ATTRIBUTE;
1251         else
1252                 return NULL;
1254         /* XXX: this code sucks! */
1255         if (! strcasecmp(op, "=")) {
1256                 /* nothing to do */
1257         }
1258         else if (! strcasecmp(op, "!=")) {
1259                 inv = 1;
1260         }
1261         else if (! strcasecmp(op, "=~")) {
1262                 re = 1;
1263         }
1264         else if (! strcasecmp(op, "!~")) {
1265                 inv = 1;
1266                 re = 1;
1267         }
1268         else if (type == SDB_ATTRIBUTE)
1269                 return parse_attr_cmp(attr, op, expr);
1270         else
1271                 return NULL;
1273         if (! expr)
1274                 return NULL;
1276         if (sdb_store_expr_eval(expr, /* obj */ NULL, &value, /* filter */ NULL)
1277                         || (value.type != SDB_TYPE_STRING)) {
1278                 sdb_data_free_datum(&value);
1279                 if (type != SDB_ATTRIBUTE)
1280                         return NULL;
1281                 return parse_attr_cmp(attr, op, expr);
1282         }
1284         if (! attr)
1285                 m = sdb_store_name_matcher(type, value.data.string, re);
1286         else if (type == SDB_ATTRIBUTE)
1287                 m = sdb_store_attr_matcher(attr, value.data.string, re);
1289         sdb_data_free_datum(&value);
1290         return maybe_inv_matcher(m, inv);
1291 } /* sdb_store_matcher_parse_cmp */
1293 sdb_store_matcher_t *
1294 sdb_store_matcher_parse_field_cmp(const char *name, const char *op,
1295                 sdb_store_expr_t *expr)
1297         sdb_store_matcher_t *(*matcher)(sdb_store_cond_t *) = NULL;
1298         sdb_store_matcher_t *m;
1299         sdb_store_cond_t *cond;
1300         _Bool inv = 0;
1302         int field;
1304         if (! expr)
1305                 return NULL;
1307         field = sdb_store_parse_field_name(name);
1308         if (field < 0)
1309                 return NULL;
1311         if (parse_cond_op(op, &matcher, &inv))
1312                 return NULL;
1313         cond = sdb_store_obj_cond(field, expr);
1314         if (! cond)
1315                 return NULL;
1317         assert(matcher);
1318         m = matcher(cond);
1319         /* pass ownership to 'm' or destroy in case of an error */
1320         sdb_object_deref(SDB_OBJ(cond));
1321         return maybe_inv_matcher(m, inv);
1322 } /* sdb_store_matcher_parse_field_cmp */
1324 sdb_store_matcher_t *
1325 sdb_store_dis_matcher(sdb_store_matcher_t *left, sdb_store_matcher_t *right)
1327         return M(sdb_object_create("dis-matcher", op_type, MATCHER_OR,
1328                                 left, right));
1329 } /* sdb_store_dis_matcher */
1331 sdb_store_matcher_t *
1332 sdb_store_con_matcher(sdb_store_matcher_t *left, sdb_store_matcher_t *right)
1334         return M(sdb_object_create("con-matcher", op_type, MATCHER_AND,
1335                                 left, right));
1336 } /* sdb_store_con_matcher */
1338 sdb_store_matcher_t *
1339 sdb_store_inv_matcher(sdb_store_matcher_t *m)
1341         return M(sdb_object_create("inv-matcher", uop_type, MATCHER_NOT, m));
1342 } /* sdb_store_inv_matcher */
1344 int
1345 sdb_store_matcher_matches(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
1346                 sdb_store_matcher_t *filter)
1348         if (filter && (! sdb_store_matcher_matches(filter, obj, NULL)))
1349                 return 0;
1351         /* "NULL" always matches */
1352         if ((! m) || (! obj))
1353                 return 1;
1355         if ((m->type < 0) || ((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers)))
1356                 return 0;
1358         return matchers[m->type](m, obj, filter);
1359 } /* sdb_store_matcher_matches */
1361 char *
1362 sdb_store_matcher_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
1364         if (! m)
1365                 return NULL;
1367         if ((m->type < 0)
1368                         || (((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers_tostring))))
1369                 return NULL;
1370         return matchers_tostring[m->type](m, buf, buflen);
1371 } /* sdb_store_matcher_tostring */
1373 int
1374 sdb_store_scan(sdb_store_matcher_t *m, sdb_store_matcher_t *filter,
1375                 sdb_store_lookup_cb cb, void *user_data)
1377         scan_iter_data_t data = { m, filter, cb, user_data };
1379         if (! cb)
1380                 return -1;
1381         return sdb_store_iterate(scan_iter, &data);
1382 } /* sdb_store_scan */
1384 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */