index e5dad19a960b2c18bebd8172452a58ac41bcb8fd..f72e26dd4e6f4e153ebc2728c4f0b5d067e4fd4d 100644 (file)
--- a/src/core/store_lookup.c
+++ b/src/core/store_lookup.c
#include "sysdb.h"
#include "core/store-private.h"
#include "core/object.h"
#include "sysdb.h"
#include "core/store-private.h"
#include "core/object.h"
+#include "utils/error.h"
#include <assert.h>
#include <assert.h>
#include <limits.h>
#include <limits.h>
+static int
+expr_eval2(sdb_store_expr_t *e1, sdb_data_t *v1,
+ sdb_store_expr_t *e2, sdb_data_t *v2,
+ sdb_store_obj_t *obj, sdb_store_matcher_t *filter)
+{
+ if (e1->type) {
+ if (sdb_store_expr_eval(e1, obj, v1, filter))
+ return -1;
+ }
+ else
+ *v1 = e1->data;
+ if (e2->type) {
+ if (sdb_store_expr_eval(e2, obj, v2, filter)) {
+ if (e1->type)
+ sdb_data_free_datum(v1);
+ return -1;
+ }
+ }
+ else
+ *v2 = e2->data;
+ return 0;
+} /* expr_eval2 */
+
+static void
+expr_free_datum2(sdb_store_expr_t *e1, sdb_data_t *v1,
+ sdb_store_expr_t *e2, sdb_data_t *v2)
+{
+ if (e1->type)
+ sdb_data_free_datum(v1);
+ if (e2->type)
+ sdb_data_free_datum(v2);
+} /* expr_free_datum2 */
+
/*
* matcher implementations
*/
/*
* matcher implementations
*/
* is enabled, compare the string values in case of a type mismatch.
*/
static int
* is enabled, compare the string values in case of a type mismatch.
*/
static int
-match_cmp_value(int op, sdb_data_t *v1, sdb_data_t *v2, _Bool strcmp_fallback)
+match_cmp_value(int op, sdb_data_t *v1, sdb_data_t *v2, bool strcmp_fallback)
{
int status;
{
int status;
if (status == INT_MAX)
return 0;
if (status == INT_MAX)
return 0;
- else if (op == MATCHER_LT)
- return status < 0;
- else if (op == MATCHER_LE)
- return status <= 0;
- else if (op == MATCHER_EQ)
- return status == 0;
- else if (op == MATCHER_NE)
- return status != 0;
- else if (op == MATCHER_GE)
- return status >= 0;
- else if (op == MATCHER_GT)
- return status > 0;
+ switch (op) {
+ case MATCHER_LT: return status < 0;
+ case MATCHER_LE: return status <= 0;
+ case MATCHER_EQ: return status == 0;
+ case MATCHER_NE: return status != 0;
+ case MATCHER_GE: return status >= 0;
+ case MATCHER_GT: return status > 0;
+ }
return 0;
} /* match_cmp_value */
return 0;
} /* match_cmp_value */
else if (re->type != SDB_TYPE_REGEX)
return 0;
else if (re->type != SDB_TYPE_REGEX)
return 0;
- if (sdb_data_format(v, value, sizeof(value), SDB_UNQUOTED) < 0)
+ if (! sdb_data_format(v, value, sizeof(value), SDB_UNQUOTED))
status = 0;
else if (! regexec(&re->data.re.regex, value, 0, NULL, 0))
status = 1;
status = 0;
else if (! regexec(&re->data.re.regex, value, 0, NULL, 0))
status = 1;
return status;
} /* match_regex_value */
return status;
} /* match_regex_value */
-static int
-match_value(int op, sdb_data_t *v1, sdb_data_t *v2, _Bool strcmp_fallback)
-{
- if ((op == MATCHER_REGEX) || (op == MATCHER_NREGEX))
- return match_regex_value(op, v1, v2);
- return match_cmp_value(op, v1, v2, strcmp_fallback);
-} /* match_value */
-
static int
match_logical(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
sdb_store_matcher_t *filter)
static int
match_logical(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
sdb_store_matcher_t *filter)
return !sdb_store_matcher_matches(UOP_M(m)->op, obj, filter);
} /* match_unary */
return !sdb_store_matcher_matches(UOP_M(m)->op, obj, filter);
} /* match_unary */
-/* iterate arrays: ANY/ALL <array> <cmp> <value> */
-static int
-match_iter_array(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
- sdb_store_matcher_t *filter)
-{
- sdb_store_expr_t *e1, *e2;
- sdb_data_t v1 = SDB_DATA_INIT;
- sdb_data_t v2 = SDB_DATA_INIT;
-
- int status;
-
- if ((ITER_M(m)->m->type < MATCHER_LT)
- || (MATCHER_NREGEX < ITER_M(m)->m->type))
- return 0;
-
- e1 = CMP_M(ITER_M(m)->m)->left;
- e2 = CMP_M(ITER_M(m)->m)->right;
-
- if (sdb_store_expr_eval(e1, obj, &v1, filter))
- return 0;
- if (sdb_store_expr_eval(e2, obj, &v2, filter)) {
- sdb_data_free_datum(&v1);
- return 0;
- }
-
- if ((! (v1.type & SDB_TYPE_ARRAY)) || (v2.type & SDB_TYPE_ARRAY))
- status = 0;
- else if (sdb_data_isnull(&v1) || (sdb_data_isnull(&v2)))
- status = 0;
- else {
- size_t i;
- int all = (int)(m->type == MATCHER_ALL);
-
- status = all;
- for (i = 0; i < v1.data.array.length; ++i) {
- sdb_data_t v = SDB_DATA_INIT;
- if (sdb_data_array_get(&v1, i, &v)) {
- status = 0;
- break;
- }
-
- if (match_value(ITER_M(m)->m->type, &v, &v2,
- (e1->data_type) < 0 || (e2->data_type < 0))) {
- if (! all) {
- status = 1;
- break;
- }
- }
- else if (all) {
- status = 0;
- break;
- }
- }
- }
-
- sdb_data_free_datum(&v1);
- sdb_data_free_datum(&v2);
- return status;
-} /* match_iter_array */
-
+/* iterate: ANY/ALL <iter> <cmp> <value> */
static int
match_iter(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
sdb_store_matcher_t *filter)
{
static int
match_iter(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
sdb_store_matcher_t *filter)
{
- sdb_avltree_iter_t *iter = NULL;
+ sdb_store_expr_iter_t *iter = NULL;
int status;
int all = (int)(m->type == MATCHER_ALL);
assert((m->type == MATCHER_ANY) || (m->type == MATCHER_ALL));
int status;
int all = (int)(m->type == MATCHER_ALL);
assert((m->type == MATCHER_ANY) || (m->type == MATCHER_ALL));
+ assert((! CMP_M(ITER_M(m)->m)->left) && CMP_M(ITER_M(m)->m)->right);
- if (ITER_M(m)->type == SDB_FIELD_BACKEND)
- return match_iter_array(m, obj, filter);
-
- if (obj->type == SDB_HOST) {
- if (ITER_M(m)->type == SDB_SERVICE)
- iter = sdb_avltree_get_iter(HOST(obj)->services);
- else if (ITER_M(m)->type == SDB_METRIC)
- iter = sdb_avltree_get_iter(HOST(obj)->metrics);
- else if (ITER_M(m)->type == SDB_ATTRIBUTE)
- iter = sdb_avltree_get_iter(HOST(obj)->attributes);
- } else if (obj->type == SDB_SERVICE) {
- if (ITER_M(m)->type == SDB_ATTRIBUTE)
- iter = sdb_avltree_get_iter(SVC(obj)->attributes);
- } else if (obj->type == SDB_METRIC) {
- if (ITER_M(m)->type == SDB_ATTRIBUTE)
- iter = sdb_avltree_get_iter(METRIC(obj)->attributes);
- }
+ iter = sdb_store_expr_iter(ITER_M(m)->iter, obj, filter);
+ if (! iter)
+ return 0;
status = all;
status = all;
- while (sdb_avltree_iter_has_next(iter)) {
- sdb_store_obj_t *child = STORE_OBJ(sdb_avltree_iter_get_next(iter));
- if (filter && (! sdb_store_matcher_matches(filter, child, NULL)))
- continue;
+ while (sdb_store_expr_iter_has_next(iter)) {
+ sdb_data_t v = sdb_store_expr_iter_get_next(iter);
+ sdb_store_expr_t expr = CONST_EXPR(v);
+ bool matches;
+
+ CMP_M(ITER_M(m)->m)->left = &expr;
+ matches = sdb_store_matcher_matches(ITER_M(m)->m, obj, filter);
+ CMP_M(ITER_M(m)->m)->left = NULL;
+ sdb_data_free_datum(&v);
- if (sdb_store_matcher_matches(ITER_M(m)->m, child, filter)) {
+ if (matches) {
if (! all) {
status = 1;
break;
if (! all) {
status = 1;
break;
break;
}
}
break;
}
}
- sdb_avltree_iter_destroy(iter);
+ sdb_store_expr_iter_destroy(iter);
return status;
} /* match_iter */
return status;
} /* match_iter */
|| (m->type == MATCHER_NE)
|| (m->type == MATCHER_GE)
|| (m->type == MATCHER_GT));
|| (m->type == MATCHER_NE)
|| (m->type == MATCHER_GE)
|| (m->type == MATCHER_GT));
+ assert(e1 && e2);
- if (sdb_store_expr_eval(e1, obj, &v1, filter))
- return 0;
- if (sdb_store_expr_eval(e2, obj, &v2, filter)) {
- sdb_data_free_datum(&v1);
+ if (expr_eval2(e1, &v1, e2, &v2, obj, filter))
return 0;
return 0;
- }
status = match_cmp_value(m->type, &v1, &v2,
(e1->data_type) < 0 || (e2->data_type < 0));
status = match_cmp_value(m->type, &v1, &v2,
(e1->data_type) < 0 || (e2->data_type < 0));
- sdb_data_free_datum(&v1);
- sdb_data_free_datum(&v2);
+ expr_free_datum2(e1, &v1, e2, &v2);
return status;
} /* match_cmp */
return status;
} /* match_cmp */
sdb_data_t value = SDB_DATA_INIT, array = SDB_DATA_INIT;
int status = 1;
sdb_data_t value = SDB_DATA_INIT, array = SDB_DATA_INIT;
int status = 1;
- assert(m->type == MATCHER_IN);
+ assert((m->type == MATCHER_IN) || (m->type == MATCHER_NIN));
+ assert(CMP_M(m)->left && CMP_M(m)->right);
- if ((sdb_store_expr_eval(CMP_M(m)->left, obj, &value, filter))
- || (sdb_store_expr_eval(CMP_M(m)->right, obj, &array, filter)))
+ if (expr_eval2(CMP_M(m)->left, &value,
+ CMP_M(m)->right, &array, obj, filter))
status = 0;
if (status)
status = sdb_data_inarray(&value, &array);
status = 0;
if (status)
status = sdb_data_inarray(&value, &array);
- sdb_data_free_datum(&value);
- sdb_data_free_datum(&array);
+ expr_free_datum2(CMP_M(m)->left, &value, CMP_M(m)->right, &array);
+ if (m->type == MATCHER_NIN)
+ return !status;
return status;
} /* match_in */
return status;
} /* match_in */
assert((m->type == MATCHER_REGEX)
|| (m->type == MATCHER_NREGEX));
assert((m->type == MATCHER_REGEX)
|| (m->type == MATCHER_NREGEX));
+ assert(CMP_M(m)->left && CMP_M(m)->right);
- if (sdb_store_expr_eval(CMP_M(m)->left, obj, &v, filter))
- return 0;
- else if (! CMP_M(m)->right->type)
- regex = CMP_M(m)->right->data;
- else if (sdb_store_expr_eval(CMP_M(m)->right, obj, ®ex, filter)) {
- sdb_data_free_datum(&v);
+ if (expr_eval2(CMP_M(m)->left, &v, CMP_M(m)->right, ®ex, obj, filter))
return 0;
return 0;
- }
status = match_regex_value(m->type, &v, ®ex);
status = match_regex_value(m->type, &v, ®ex);
- sdb_data_free_datum(&v);
- if (CMP_M(m)->right->type)
- sdb_data_free_datum(®ex);
+ expr_free_datum2(CMP_M(m)->left, &v, CMP_M(m)->right, ®ex);
return status;
} /* match_regex */
return status;
} /* match_regex */
sdb_data_t v = SDB_DATA_INIT;
int status;
sdb_data_t v = SDB_DATA_INIT;
int status;
- assert((m->type == MATCHER_ISNULL) || (m->type == MATCHER_ISNNULL));
+ assert(m->type == MATCHER_ISNULL);
+
+ if (ISNULL_M(m)->expr->type) {
+ /* TODO: this might hide real errors;
+ * improve error reporting and propagation */
+ if (sdb_store_expr_eval(ISNULL_M(m)->expr, obj, &v, filter))
+ return 1;
+ }
+ else
+ v = ISNULL_M(m)->expr->data;
- /* TODO: this might hide real errors;
- * improve error reporting and propagation */
- if (sdb_store_expr_eval(ISNULL_M(m)->expr, obj, &v, filter)
- || sdb_data_isnull(&v))
+ if (sdb_data_isnull(&v))
status = 1;
else
status = 0;
status = 1;
else
status = 0;
- sdb_data_free_datum(&v);
- if (m->type == MATCHER_ISNNULL)
- return !status;
+ if (ISNULL_M(m)->expr->type)
+ sdb_data_free_datum(&v);
return status;
} /* match_isnull */
return status;
} /* match_isnull */
match_iter,
match_iter,
match_in,
match_iter,
match_iter,
match_in,
+ match_in,
/* unary operators */
match_isnull,
/* unary operators */
match_isnull,
- match_isnull,
/* ary operators */
match_cmp,
/* ary operators */
match_cmp,
match_cmp,
match_regex,
match_regex,
match_cmp,
match_regex,
match_regex,
+
+ NULL, /* QUERY */
};
/*
};
/*
iter_matcher_init(sdb_object_t *obj, va_list ap)
{
M(obj)->type = va_arg(ap, int);
iter_matcher_init(sdb_object_t *obj, va_list ap)
{
M(obj)->type = va_arg(ap, int);
- ITER_M(obj)->type = va_arg(ap, int);
+ ITER_M(obj)->iter = va_arg(ap, sdb_store_expr_t *);
ITER_M(obj)->m = va_arg(ap, sdb_store_matcher_t *);
ITER_M(obj)->m = va_arg(ap, sdb_store_matcher_t *);
- if (! ITER_M(obj)->m)
- return -1;
-
+ sdb_object_ref(SDB_OBJ(ITER_M(obj)->iter));
sdb_object_ref(SDB_OBJ(ITER_M(obj)->m));
sdb_object_ref(SDB_OBJ(ITER_M(obj)->m));
+
+ if ((! ITER_M(obj)->iter) || (! ITER_M(obj)->m))
+ return -1;
return 0;
} /* iter_matcher_init */
static void
iter_matcher_destroy(sdb_object_t *obj)
{
return 0;
} /* iter_matcher_init */
static void
iter_matcher_destroy(sdb_object_t *obj)
{
+ sdb_object_deref(SDB_OBJ(ITER_M(obj)->iter));
sdb_object_deref(SDB_OBJ(ITER_M(obj)->m));
} /* iter_matcher_destroy */
sdb_object_deref(SDB_OBJ(ITER_M(obj)->m));
} /* iter_matcher_destroy */
CMP_M(obj)->right = va_arg(ap, sdb_store_expr_t *);
sdb_object_ref(SDB_OBJ(CMP_M(obj)->right));
CMP_M(obj)->right = va_arg(ap, sdb_store_expr_t *);
sdb_object_ref(SDB_OBJ(CMP_M(obj)->right));
- if ((! CMP_M(obj)->left) || (! CMP_M(obj)->right))
+ if (! CMP_M(obj)->right)
return -1;
return 0;
} /* cmp_matcher_init */
return -1;
return 0;
} /* cmp_matcher_init */
isnull_matcher_init(sdb_object_t *obj, va_list ap)
{
M(obj)->type = va_arg(ap, int);
isnull_matcher_init(sdb_object_t *obj, va_list ap)
{
M(obj)->type = va_arg(ap, int);
- if ((M(obj)->type != MATCHER_ISNULL) && (M(obj)->type != MATCHER_ISNNULL))
+ if (M(obj)->type != MATCHER_ISNULL)
return -1;
ISNULL_M(obj)->expr = va_arg(ap, sdb_store_expr_t *);
return -1;
ISNULL_M(obj)->expr = va_arg(ap, sdb_store_expr_t *);
*/
sdb_store_matcher_t *
*/
sdb_store_matcher_t *
-sdb_store_any_matcher(int type, sdb_store_matcher_t *m)
+sdb_store_any_matcher(sdb_store_expr_t *iter, sdb_store_matcher_t *m)
{
{
- if ((type != SDB_SERVICE) && (type != SDB_METRIC)
- && (type != SDB_ATTRIBUTE) && (type != SDB_FIELD_BACKEND))
+ if ((m->type < MATCHER_LT) || (MATCHER_NREGEX < m->type)) {
+ sdb_log(SDB_LOG_ERR, "store: Invalid ANY -> %s matcher "
+ "(invalid operator)", MATCHER_SYM(m->type));
+ return NULL;
+ }
+ if (CMP_M(m)->left) {
+ sdb_log(SDB_LOG_ERR, "store: Invalid ANY %s %s %s matcher "
+ "(invalid left operand)",
+ SDB_TYPE_TO_STRING(CMP_M(m)->left->data_type),
+ MATCHER_SYM(m->type),
+ SDB_TYPE_TO_STRING(CMP_M(m)->right->data_type));
return NULL;
return NULL;
+ }
return M(sdb_object_create("any-matcher", iter_type,
return M(sdb_object_create("any-matcher", iter_type,
- MATCHER_ANY, type, m));
+ MATCHER_ANY, iter, m));
} /* sdb_store_any_matcher */
sdb_store_matcher_t *
} /* sdb_store_any_matcher */
sdb_store_matcher_t *
-sdb_store_all_matcher(int type, sdb_store_matcher_t *m)
+sdb_store_all_matcher(sdb_store_expr_t *iter, sdb_store_matcher_t *m)
{
{
- if ((type != SDB_SERVICE) && (type != SDB_METRIC)
- && (type != SDB_ATTRIBUTE) && (type != SDB_FIELD_BACKEND))
+ if ((m->type < MATCHER_LT) || (MATCHER_NREGEX < m->type)) {
+ sdb_log(SDB_LOG_ERR, "store: Invalid ALL -> %s matcher "
+ "(invalid operator)", MATCHER_SYM(m->type));
return NULL;
return NULL;
+ }
+ if (CMP_M(m)->left) {
+ sdb_log(SDB_LOG_ERR, "store: Invalid ALL %s %s %s matcher "
+ "(invalid left operand)",
+ SDB_TYPE_TO_STRING(CMP_M(m)->left->data_type),
+ MATCHER_SYM(m->type),
+ SDB_TYPE_TO_STRING(CMP_M(m)->right->data_type));
+ return NULL;
+ }
return M(sdb_object_create("all-matcher", iter_type,
return M(sdb_object_create("all-matcher", iter_type,
- MATCHER_ALL, type, m));
+ MATCHER_ALL, iter, m));
} /* sdb_store_all_matcher */
sdb_store_matcher_t *
} /* sdb_store_all_matcher */
sdb_store_matcher_t *
MATCHER_IN, left, right));
} /* sdb_store_in_matcher */
MATCHER_IN, left, right));
} /* sdb_store_in_matcher */
+sdb_store_matcher_t *
+sdb_store_nin_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+ return M(sdb_object_create("not-in-matcher", cmp_type,
+ MATCHER_NIN, left, right));
+} /* sdb_store_in_matcher */
+
sdb_store_matcher_t *
sdb_store_regex_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
{
sdb_store_matcher_t *
sdb_store_regex_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
{
MATCHER_ISNULL, expr));
} /* sdb_store_isnull_matcher */
MATCHER_ISNULL, expr));
} /* sdb_store_isnull_matcher */
-sdb_store_matcher_t *
-sdb_store_isnnull_matcher(sdb_store_expr_t *expr)
-{
- return M(sdb_object_create("isnull-matcher", isnull_type,
- MATCHER_ISNNULL, expr));
-} /* sdb_store_isnnull_matcher */
-
sdb_store_matcher_op_cb
sdb_store_parse_matcher_op(const char *op)
{
sdb_store_matcher_op_cb
sdb_store_parse_matcher_op(const char *op)
{
return SDB_FIELD_INTERVAL;
else if (! strcasecmp(name, "backend"))
return SDB_FIELD_BACKEND;
return SDB_FIELD_INTERVAL;
else if (! strcasecmp(name, "backend"))
return SDB_FIELD_BACKEND;
+ else if (! strcasecmp(name, "value"))
+ return SDB_FIELD_VALUE;
return -1;
} /* sdb_store_parse_field_name */
return -1;
} /* sdb_store_parse_field_name */
if ((m->type < 0) || ((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers)))
return 0;
if ((m->type < 0) || ((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers)))
return 0;
+ if (! matchers[m->type])
+ return 0;
return matchers[m->type](m, obj, filter);
} /* sdb_store_matcher_matches */
return matchers[m->type](m, obj, filter);
} /* sdb_store_matcher_matches */