X-Git-Url: https://git.tokkee.org/?p=sysdb.git;a=blobdiff_plain;f=src%2Fcore%2Fstore_lookup.c;h=18a0235536e3f154128ff576cbc624c9dfa49a5f;hp=fe98e91dd62c7a72e3509a61e07e0ee610ea223a;hb=da52b4da948c741d20c7a3995ce5d133af377def;hpb=5ef35401510325242737f05af78bc08eb631e8e4

diff --git a/src/core/store_lookup.c b/src/core/store_lookup.c
index fe98e91..18a0235 100644
--- a/src/core/store_lookup.c
+++ b/src/core/store_lookup.c
@@ -38,6 +38,7 @@
 #include "sysdb.h"
 #include "core/store-private.h"
 #include "core/object.h"
+#include "utils/error.h"
 
 #include <assert.h>
 
@@ -47,417 +48,385 @@
 #include <stdlib.h>
 #include <string.h>
 
-/*
- * private data types
- */
-
-typedef struct {
-	sdb_store_matcher_t *m;
-	sdb_store_lookup_cb  cb;
-	void *user_data;
-} lookup_iter_data_t;
-
-/*
- * private helper functions
- */
+#include <limits.h>
 
 static int
-lookup_iter(sdb_store_base_t *obj, void *user_data)
+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)
 {
-	lookup_iter_data_t *d = user_data;
-
-	if (sdb_store_matcher_matches(d->m, obj))
-		return d->cb(obj, d->user_data);
+	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;
-} /* lookup_iter */
+} /* 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
  */
 
+/*
+ * cmp_expr:
+ * Compare two values using the specified matcher operator. If strcmp_fallback
+ * is enabled, compare the string values in case of a type mismatch.
+ */
 static int
-match_logical(sdb_store_matcher_t *m, sdb_store_base_t *obj);
-static int
-match_unary(sdb_store_matcher_t *m, sdb_store_base_t *obj);
+match_cmp_value(int op, sdb_data_t *v1, sdb_data_t *v2, bool strcmp_fallback)
+{
+	int status;
 
-/* specific matchers */
+	if (sdb_data_isnull(v1) || (sdb_data_isnull(v2)))
+		status = INT_MAX;
+	else if (v1->type == v2->type)
+		status = sdb_data_cmp(v1, v2);
+	else if (! strcmp_fallback)
+		status = INT_MAX;
+	else
+		status = sdb_data_strcmp(v1, v2);
+
+	if (status == INT_MAX)
+		return 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 */
 
 static int
-match_obj_name(name_matcher_t *m, const char *name)
+match_regex_value(int op, sdb_data_t *v, sdb_data_t *re)
 {
-	assert(m);
-
-	if ((! m->name) && (! m->name_re))
-		return 1;
+	char value[sdb_data_strlen(v) + 1];
+	int status = 0;
 
-	if (! name)
-		name = "";
+	assert((op == MATCHER_REGEX)
+			|| (op == MATCHER_NREGEX));
 
-	if (m->name && strcasecmp(m->name, name))
-		return 0;
-	if (m->name_re && regexec(m->name_re, name,
-					/* matches */ 0, NULL, /* flags = */ 0))
+	if (sdb_data_isnull(v) || sdb_data_isnull(re))
 		return 0;
-	return 1;
-} /* match_obj_name */
 
-static char *
-obj_name_tostring(name_matcher_t *m, char *buf, size_t buflen)
-{
-	snprintf(buf, buflen, "{ %s%s%s, %p }",
-			m->name ? "'" : "", m->name ? m->name : "NULL", m->name ? "'" : "",
-			m->name_re);
-	return buf;
-} /* obj_name_tostring */
+	if (re->type == SDB_TYPE_STRING) {
+		sdb_data_t tmp = SDB_DATA_INIT;
 
-static char *
-logical_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
-{
-	char left[buflen + 1], right[buflen + 1];
+		if (sdb_data_parse(re->data.string, SDB_TYPE_REGEX, &tmp))
+			return 0;
 
-	if (! m) {
-		/* this should not happen */
-		snprintf(buf, buflen, "()");
-		return buf;
+		sdb_data_free_datum(re);
+		*re = tmp;
 	}
+	else if (re->type != SDB_TYPE_REGEX)
+		return 0;
 
-	assert((m->type == MATCHER_OR) || (m->type == MATCHER_AND));
-	snprintf(buf, buflen, "(%s, %s, %s)",
-			m->type == MATCHER_OR ? "OR" : "AND",
-			sdb_store_matcher_tostring(OP_M(m)->left, left, sizeof(left)),
-			sdb_store_matcher_tostring(OP_M(m)->right, right, sizeof(right)));
-	return buf;
-} /* logical_tostring */
+	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;
 
-static char *
-unary_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
+	if (op == MATCHER_NREGEX)
+		return !status;
+	return status;
+} /* match_regex_value */
+
+static int
+match_logical(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
-	char op[buflen + 1];
+	int status;
 
-	if (! m) {
-		/* this should not happen */
-		snprintf(buf, buflen, "()");
-		return buf;
-	}
+	assert((m->type == MATCHER_AND) || (m->type == MATCHER_OR));
+	assert(OP_M(m)->left && OP_M(m)->right);
 
-	assert(m->type == MATCHER_NOT);
-	snprintf(buf, buflen, "(NOT, %s)",
-			sdb_store_matcher_tostring(UOP_M(m)->op, op, sizeof(op)));
-	return buf;
-} /* unary_tostring */
-
-static char *
-name_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
-{
-	char name[buflen + 1];
-	assert(m->type == MATCHER_NAME);
-	snprintf(buf, buflen, "OBJ[%s]{ NAME%s }",
-			SDB_STORE_TYPE_TO_NAME(OBJ_M(m)->obj_type),
-			obj_name_tostring(&OBJ_M(m)->name, name, sizeof(name)));
-	return buf;
-} /* name_tostring */
-
-static char *
-attr_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
-{
-	char value[buflen + 1];
-
-	if (! m) {
-		snprintf(buf, buflen, "ATTR{}");
-		return buf;
-	}
+	status = sdb_store_matcher_matches(OP_M(m)->left, obj, filter);
 
-	assert(m->type == MATCHER_ATTR);
-	snprintf(buf, buflen, "ATTR[%s]{ VALUE%s }", ATTR_M(m)->name,
-			obj_name_tostring(&ATTR_M(m)->value, value, sizeof(value)));
-	return buf;
-} /* attr_tostring */
+	/* lazy evaluation */
+	if ((! status) && (m->type == MATCHER_AND))
+		return status;
+	else if (status && (m->type == MATCHER_OR))
+		return status;
 
-static char *
-host_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
-{
-	char name[buflen + 1], attr[buflen + 1];
+	return sdb_store_matcher_matches(OP_M(m)->right, obj, filter);
+} /* match_logical */
 
-	if (! m) {
-		snprintf(buf, buflen, "HOST{}");
-		return buf;
-	}
+static int
+match_unary(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
+{
+	assert(m->type == MATCHER_NOT);
+	assert(UOP_M(m)->op);
 
-	assert(m->type == MATCHER_HOST);
-	snprintf(buf, buflen, "HOST{ NAME%s, %s }",
-			obj_name_tostring(&OBJ_M(m)->name, name, sizeof(name)),
-			attr_tostring(SDB_STORE_MATCHER(HOST_M(m)->attr),
-				attr, sizeof(attr)));
-	return buf;
-} /* host_tostring */
+	return !sdb_store_matcher_matches(UOP_M(m)->op, obj, filter);
+} /* match_unary */
 
+/* iterate: ANY/ALL <iter> <cmp> <value> */
 static int
-match_name(sdb_store_matcher_t *m, sdb_store_base_t *obj)
+match_iter(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
-	sdb_llist_iter_t *iter = NULL;
-	int status = 0;
+	sdb_store_expr_iter_t *iter = NULL;
+	int status;
+	int all = (int)(m->type == MATCHER_ALL);
 
-	assert(m && obj);
-	assert(m->type == MATCHER_NAME);
+	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 (obj->type != SDB_HOST)
+	iter = sdb_store_expr_iter(ITER_M(m)->iter, obj, filter);
+	if (! iter)
 		return 0;
 
-	switch (OBJ_M(m)->obj_type) {
-		case SDB_HOST:
-			return match_obj_name(&OBJ_M(m)->name, obj->super.name);
-			break;
-		case SDB_SERVICE:
-			iter = sdb_llist_get_iter(SDB_STORE_OBJ(obj)->children);
-			break;
-		case SDB_ATTRIBUTE:
-			iter = sdb_llist_get_iter(SDB_STORE_OBJ(obj)->attributes);
-			break;
-	}
-
-	while (sdb_llist_iter_has_next(iter)) {
-		sdb_store_base_t *child = STORE_BASE(sdb_llist_iter_get_next(iter));
-		if (match_obj_name(&OBJ_M(m)->name, child->super.name)) {
-			status = 1;
+	status = all;
+	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 (matches) {
+			if (! all) {
+				status = 1;
+				break;
+			}
+		} else if (all) {
+			status = 0;
 			break;
 		}
 	}
-	sdb_llist_iter_destroy(iter);
+	sdb_store_expr_iter_destroy(iter);
 	return status;
-} /* match_name */
+} /* match_iter */
 
 static int
-match_attr(sdb_store_matcher_t *m, sdb_store_base_t *obj)
+match_cmp(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
-	sdb_llist_iter_t *iter = NULL;
-	int status = 0;
+	sdb_store_expr_t *e1 = CMP_M(m)->left;
+	sdb_store_expr_t *e2 = CMP_M(m)->right;
+	sdb_data_t v1 = SDB_DATA_INIT, v2 = SDB_DATA_INIT;
+	int status;
 
-	assert(m && obj);
-	assert(m->type == MATCHER_ATTR);
+	assert((m->type == MATCHER_LT)
+			|| (m->type == MATCHER_LE)
+			|| (m->type == MATCHER_EQ)
+			|| (m->type == MATCHER_NE)
+			|| (m->type == MATCHER_GE)
+			|| (m->type == MATCHER_GT));
+	assert(e1 && e2);
 
-	if (obj->type != SDB_HOST)
+	if (expr_eval2(e1, &v1, e2, &v2, obj, filter))
 		return 0;
 
-	iter = sdb_llist_get_iter(SDB_STORE_OBJ(obj)->attributes);
-	while (sdb_llist_iter_has_next(iter)) {
-		sdb_attribute_t *attr = SDB_ATTR(sdb_llist_iter_get_next(iter));
-		char buf[sdb_data_strlen(&attr->value) + 1];
+	status = match_cmp_value(m->type, &v1, &v2,
+			(e1->data_type) < 0 || (e2->data_type < 0));
 
-		if (sdb_data_format(&attr->value, buf, sizeof(buf), SDB_UNQUOTED) <= 0)
-			return 0;
-		if (match_obj_name(&ATTR_M(m)->value, buf)) {
-			status = 1;
-			break;
-		}
-	}
-	sdb_llist_iter_destroy(iter);
+	expr_free_datum2(e1, &v1, e2, &v2);
 	return status;
-} /* match_attr */
+} /* match_cmp */
 
-/* match host specific values;
- * always call this function through match_obj() */
 static int
-match_host(sdb_store_matcher_t *m, sdb_store_base_t *obj)
+match_in(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
-	int status;
+	sdb_data_t value = SDB_DATA_INIT, array = SDB_DATA_INIT;
+	int status = 1;
 
-	assert(m && obj);
-	assert(m->type == MATCHER_HOST);
+	assert((m->type == MATCHER_IN) || (m->type == MATCHER_NIN));
+	assert(CMP_M(m)->left && CMP_M(m)->right);
 
-	if (obj->type != SDB_HOST)
-		return 0;
-
-	status = match_obj_name(&OBJ_M(m)->name, obj->super.name);
-	if (! status)
-		return status;
+	if (expr_eval2(CMP_M(m)->left, &value,
+				CMP_M(m)->right, &array, obj, filter))
+		status = 0;
 
-	if (! HOST_M(m)->attr)
-		return 1;
+	if (status)
+		status = sdb_data_inarray(&value, &array);
 
-	return match_attr(M(HOST_M(m)->attr), obj);
-} /* match_host */
+	expr_free_datum2(CMP_M(m)->left, &value, CMP_M(m)->right, &array);
+	if (m->type == MATCHER_NIN)
+		return !status;
+	return status;
+} /* match_in */
 
-/* generic matchers */
+static int
+match_regex(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
+{
+	sdb_data_t regex = SDB_DATA_INIT, v = SDB_DATA_INIT;
+	int status = 0;
 
-typedef int (*matcher_cb)(sdb_store_matcher_t *, sdb_store_base_t *);
+	assert((m->type == MATCHER_REGEX)
+			|| (m->type == MATCHER_NREGEX));
+	assert(CMP_M(m)->left && CMP_M(m)->right);
 
-/* this array needs to be indexable by the matcher types;
- * -> update the enum in store-private.h when updating this */
-static matcher_cb matchers[] = {
-	match_logical,
-	match_logical,
-	match_unary,
-	match_name,
-	match_attr,
-	match_host,
-};
+	if (expr_eval2(CMP_M(m)->left, &v, CMP_M(m)->right, &regex, obj, filter))
+		return 0;
 
-typedef char *(*matcher_tostring_cb)(sdb_store_matcher_t *, char *, size_t);
+	status = match_regex_value(m->type, &v, &regex);
 
-static matcher_tostring_cb matchers_tostring[] = {
-	logical_tostring,
-	logical_tostring,
-	unary_tostring,
-	name_tostring,
-	attr_tostring,
-	host_tostring,
-};
+	expr_free_datum2(CMP_M(m)->left, &v, CMP_M(m)->right, &regex);
+	return status;
+} /* match_regex */
 
 static int
-match_logical(sdb_store_matcher_t *m, sdb_store_base_t *obj)
+match_isnull(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
+	sdb_data_t v = SDB_DATA_INIT;
 	int status;
 
-	assert(m && obj);
-	assert(OP_M(m)->left && OP_M(m)->right);
+	assert((m->type == MATCHER_ISNULL) || (m->type == MATCHER_ISNNULL));
 
-	status = sdb_store_matcher_matches(OP_M(m)->left, obj);
-	/* lazy evaluation */
-	if ((! status) && (m->type == MATCHER_AND))
-		return status;
-	else if (status && (m->type == MATCHER_OR))
-		return status;
+	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;
 
-	return sdb_store_matcher_matches(OP_M(m)->right, obj);
-} /* match_logical */
+	if (sdb_data_isnull(&v))
+		status = 1;
+	else
+		status = 0;
 
-static int
-match_unary(sdb_store_matcher_t *m, sdb_store_base_t *obj)
-{
-	assert(m && obj);
-	assert(UOP_M(m)->op);
+	if (ISNULL_M(m)->expr->type)
+		sdb_data_free_datum(&v);
+	if (m->type == MATCHER_ISNNULL)
+		return !status;
+	return status;
+} /* match_isnull */
 
-	return !sdb_store_matcher_matches(UOP_M(m)->op, obj);
-} /* match_unary */
+typedef int (*matcher_cb)(sdb_store_matcher_t *, sdb_store_obj_t *,
+		sdb_store_matcher_t *);
+
+/* this array needs to be indexable by the matcher types;
+ * -> update the enum in store-private.h when updating this */
+static matcher_cb
+matchers[] = {
+	match_logical,
+	match_logical,
+	match_unary,
+	match_iter,
+	match_iter,
+	match_in,
+	match_in,
+
+	/* unary operators */
+	match_isnull,
+	match_isnull,
+
+	/* ary operators */
+	match_cmp,
+	match_cmp,
+	match_cmp,
+	match_cmp,
+	match_cmp,
+	match_cmp,
+	match_regex,
+	match_regex,
+};
 
 /*
  * private matcher types
  */
 
-/* initializes a name matcher consuming two elements from ap */
-static int
-name_matcher_init(name_matcher_t *m, va_list ap)
-{
-	const char *name = va_arg(ap, const char *);
-	const char *name_re = va_arg(ap, const char *);
-
-	if (name) {
-		m->name = strdup(name);
-		if (! m->name)
-			return -1;
-	}
-	if (name_re) {
-		m->name_re = malloc(sizeof(*m->name_re));
-		if (! m->name_re)
-			return -1;
-		if (regcomp(m->name_re, name_re, REG_EXTENDED | REG_ICASE | REG_NOSUB))
-			return -1;
-	}
-	return 0;
-} /* name_matcher_init */
-
-static void
-name_matcher_destroy(name_matcher_t *m)
-{
-	if (m->name)
-		free(m->name);
-	if (m->name_re) {
-		regfree(m->name_re);
-		free(m->name_re);
-	}
-} /* name_matcher_destroy */
-
-/* initializes an object matcher consuming two elements from ap */
 static int
-obj_matcher_init(sdb_object_t *obj, va_list ap)
-{
-	obj_matcher_t *m = OBJ_M(obj);
-	M(obj)->type = MATCHER_NAME;
-	return name_matcher_init(&m->name, ap);
-} /* obj_matcher_init */
-
-static void
-obj_matcher_destroy(sdb_object_t *obj)
+op_matcher_init(sdb_object_t *obj, va_list ap)
 {
-	obj_matcher_t *m = OBJ_M(obj);
-	name_matcher_destroy(&m->name);
-} /* obj_matcher_destroy */
+	M(obj)->type = va_arg(ap, int);
+	if ((M(obj)->type != MATCHER_OR) && (M(obj)->type != MATCHER_AND))
+		return -1;
 
-static int
-attr_matcher_init(sdb_object_t *obj, va_list ap)
-{
-	attr_matcher_t *attr = ATTR_M(obj);
-	const char *name = va_arg(ap, const char *);
+	OP_M(obj)->left = va_arg(ap, sdb_store_matcher_t *);
+	sdb_object_ref(SDB_OBJ(OP_M(obj)->left));
+	OP_M(obj)->right = va_arg(ap, sdb_store_matcher_t *);
+	sdb_object_ref(SDB_OBJ(OP_M(obj)->right));
 
-	M(obj)->type = MATCHER_ATTR;
-	if (name) {
-		attr->name = strdup(name);
-		if (! attr->name)
-			return -1;
-	}
-	return name_matcher_init(&attr->value, ap);
-} /* attr_matcher_init */
+	if ((! OP_M(obj)->left) || (! OP_M(obj)->right))
+		return -1;
+	return 0;
+} /* op_matcher_init */
 
 static void
-attr_matcher_destroy(sdb_object_t *obj)
+op_matcher_destroy(sdb_object_t *obj)
 {
-	attr_matcher_t *attr = ATTR_M(obj);
-	if (attr->name)
-		free(attr->name);
-	attr->name = NULL;
-	name_matcher_destroy(&attr->value);
-} /* attr_matcher_destroy */
+	if (OP_M(obj)->left)
+		sdb_object_deref(SDB_OBJ(OP_M(obj)->left));
+	if (OP_M(obj)->right)
+		sdb_object_deref(SDB_OBJ(OP_M(obj)->right));
+} /* op_matcher_destroy */
 
 static int
-host_matcher_init(sdb_object_t *obj, va_list ap)
+iter_matcher_init(sdb_object_t *obj, va_list ap)
 {
-	attr_matcher_t *attr;
-	int status;
-
-	status = obj_matcher_init(obj, ap);
-	if (status)
-		return status;
+	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 *);
 
-	attr = va_arg(ap, attr_matcher_t *);
-	sdb_object_ref(SDB_OBJ(attr));
-	HOST_M(obj)->attr = attr;
+	sdb_object_ref(SDB_OBJ(ITER_M(obj)->iter));
+	sdb_object_ref(SDB_OBJ(ITER_M(obj)->m));
 
-	M(obj)->type = MATCHER_HOST;
+	if ((! ITER_M(obj)->iter) || (! ITER_M(obj)->m))
+		return -1;
 	return 0;
-} /* host_matcher_init */
+} /* iter_matcher_init */
 
 static void
-host_matcher_destroy(sdb_object_t *obj)
+iter_matcher_destroy(sdb_object_t *obj)
 {
-	obj_matcher_destroy(obj);
-	sdb_object_deref(SDB_OBJ(HOST_M(obj)->attr));
-} /* host_matcher_destroy */
+	sdb_object_deref(SDB_OBJ(ITER_M(obj)->iter));
+	sdb_object_deref(SDB_OBJ(ITER_M(obj)->m));
+} /* iter_matcher_destroy */
 
 static int
-op_matcher_init(sdb_object_t *obj, va_list ap)
+cmp_matcher_init(sdb_object_t *obj, va_list ap)
 {
 	M(obj)->type = va_arg(ap, int);
-	if ((M(obj)->type != MATCHER_OR) && (M(obj)->type != MATCHER_AND))
-		return -1;
 
-	OP_M(obj)->left = va_arg(ap, sdb_store_matcher_t *);
-	sdb_object_ref(SDB_OBJ(OP_M(obj)->left));
-	OP_M(obj)->right = va_arg(ap, sdb_store_matcher_t *);
-	sdb_object_ref(SDB_OBJ(OP_M(obj)->right));
+	CMP_M(obj)->left = va_arg(ap, sdb_store_expr_t *);
+	sdb_object_ref(SDB_OBJ(CMP_M(obj)->left));
+	CMP_M(obj)->right = va_arg(ap, sdb_store_expr_t *);
+	sdb_object_ref(SDB_OBJ(CMP_M(obj)->right));
 
-	if ((! OP_M(obj)->left) || (! OP_M(obj)->right))
+	if (! CMP_M(obj)->right)
 		return -1;
 	return 0;
-} /* op_matcher_init */
+} /* cmp_matcher_init */
 
 static void
-op_matcher_destroy(sdb_object_t *obj)
+cmp_matcher_destroy(sdb_object_t *obj)
 {
-	if (OP_M(obj)->left)
-		sdb_object_deref(SDB_OBJ(OP_M(obj)->left));
-	if (OP_M(obj)->right)
-		sdb_object_deref(SDB_OBJ(OP_M(obj)->right));
-} /* op_matcher_destroy */
+	sdb_object_deref(SDB_OBJ(CMP_M(obj)->left));
+	sdb_object_deref(SDB_OBJ(CMP_M(obj)->right));
+} /* cmp_matcher_destroy */
 
 static int
 uop_matcher_init(sdb_object_t *obj, va_list ap)
@@ -481,23 +450,24 @@ uop_matcher_destroy(sdb_object_t *obj)
 		sdb_object_deref(SDB_OBJ(UOP_M(obj)->op));
 } /* uop_matcher_destroy */
 
-static sdb_type_t name_type = {
-	/* size = */ sizeof(obj_matcher_t),
-	/* init = */ obj_matcher_init,
-	/* destroy = */ obj_matcher_destroy,
-};
+static 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))
+		return -1;
 
-static sdb_type_t attr_type = {
-	/* size = */ sizeof(attr_matcher_t),
-	/* init = */ attr_matcher_init,
-	/* destroy = */ attr_matcher_destroy,
-};
+	ISNULL_M(obj)->expr = va_arg(ap, sdb_store_expr_t *);
+	sdb_object_ref(SDB_OBJ(ISNULL_M(obj)->expr));
+	return 0;
+} /* isnull_matcher_init */
 
-static sdb_type_t host_type = {
-	/* size = */ sizeof(host_matcher_t),
-	/* init = */ host_matcher_init,
-	/* destroy = */ host_matcher_destroy,
-};
+static void
+isnull_matcher_destroy(sdb_object_t *obj)
+{
+	sdb_object_deref(SDB_OBJ(ISNULL_M(obj)->expr));
+	ISNULL_M(obj)->expr = NULL;
+} /* isnull_matcher_destroy */
 
 static sdb_type_t op_type = {
 	/* size = */ sizeof(op_matcher_t),
@@ -511,98 +481,234 @@ static sdb_type_t uop_type = {
 	/* destroy = */ uop_matcher_destroy,
 };
 
+static sdb_type_t iter_type = {
+	/* size = */ sizeof(iter_matcher_t),
+	/* init = */ iter_matcher_init,
+	/* destroy = */ iter_matcher_destroy,
+};
+
+static sdb_type_t cmp_type = {
+	/* size = */ sizeof(cmp_matcher_t),
+	/* init = */ cmp_matcher_init,
+	/* destroy = */ cmp_matcher_destroy,
+};
+
+static sdb_type_t isnull_type = {
+	/* size = */ sizeof(isnull_matcher_t),
+	/* init = */ isnull_matcher_init,
+	/* destroy = */ isnull_matcher_destroy,
+};
+
 /*
  * public API
  */
 
 sdb_store_matcher_t *
-sdb_store_name_matcher(int type, const char *name, _Bool re)
+sdb_store_any_matcher(sdb_store_expr_t *iter, sdb_store_matcher_t *m)
 {
-	sdb_store_matcher_t *m;
-
-	if (re)
-		m = M(sdb_object_create("name-matcher", name_type,
-					NULL, name));
-	else
-		m = M(sdb_object_create("name-matcher", name_type,
-					name, NULL));
+	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 M(sdb_object_create("any-matcher", iter_type,
+				MATCHER_ANY, iter, m));
+} /* sdb_store_any_matcher */
 
-	if (! m)
+sdb_store_matcher_t *
+sdb_store_all_matcher(sdb_store_expr_t *iter, sdb_store_matcher_t *m)
+{
+	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;
+	}
+	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,
+				MATCHER_ALL, iter, m));
+} /* sdb_store_all_matcher */
 
-	OBJ_M(m)->obj_type = type;
-	return m;
-} /* sdb_store_name_matcher */
+sdb_store_matcher_t *
+sdb_store_lt_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+	return M(sdb_object_create("lt-matcher", cmp_type,
+				MATCHER_LT, left, right));
+} /* sdb_store_lt_matcher */
 
 sdb_store_matcher_t *
-sdb_store_attr_matcher(const char *name, const char *value, _Bool re)
+sdb_store_le_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
 {
-	if (re)
-		return M(sdb_object_create("attr-matcher", attr_type,
-					name, NULL, value));
-	return M(sdb_object_create("attr-matcher", attr_type,
-				name, value, NULL));
-} /* sdb_store_attr_matcher */
+	return M(sdb_object_create("le-matcher", cmp_type,
+				MATCHER_LE, left, right));
+} /* sdb_store_le_matcher */
 
 sdb_store_matcher_t *
-sdb_store_host_matcher(const char *host_name, const char *host_name_re,
-		sdb_store_matcher_t *attr_matcher)
+sdb_store_eq_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
 {
-	return M(sdb_object_create("host-matcher", host_type,
-				host_name, host_name_re, attr_matcher));
-} /* sdb_store_host_matcher */
+	return M(sdb_object_create("eq-matcher", cmp_type,
+				MATCHER_EQ, left, right));
+} /* sdb_store_eq_matcher */
 
 sdb_store_matcher_t *
-sdb_store_matcher_parse_cmp(const char *obj_type, const char *attr,
-		const char *op, const char *value)
+sdb_store_ne_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
 {
-	int type = -1;
-	_Bool inv = 0;
-	_Bool re = 0;
+	return M(sdb_object_create("ne-matcher", cmp_type,
+				MATCHER_NE, left, right));
+} /* sdb_store_ne_matcher */
 
-	sdb_store_matcher_t *m = NULL;
+sdb_store_matcher_t *
+sdb_store_ge_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+	return M(sdb_object_create("ge-matcher", cmp_type,
+				MATCHER_GE, left, right));
+} /* sdb_store_ge_matcher */
 
-	if (! strcasecmp(obj_type, "host"))
-		type = SDB_HOST;
-	else if (! strcasecmp(obj_type, "service"))
-		type = SDB_SERVICE;
-	else if (! strcasecmp(obj_type, "attribute"))
-		type = SDB_ATTRIBUTE;
+sdb_store_matcher_t *
+sdb_store_gt_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+	return M(sdb_object_create("gt-matcher", cmp_type,
+				MATCHER_GT, left, right));
+} /* sdb_store_gt_matcher */
 
-	/* TODO: support other operators */
-	if (! strcasecmp(op, "=")) {
-		/* nothing to do */
-	}
-	else if (! strcasecmp(op, "!=")) {
-		inv = 1;
-	}
-	else if (! strcasecmp(op, "=~")) {
-		re = 1;
-	}
-	else if (! strcasecmp(op, "!~")) {
-		inv = 1;
-		re = 1;
-	}
-	else
-		return NULL;
+sdb_store_matcher_t *
+sdb_store_in_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+	return M(sdb_object_create("in-matcher", cmp_type,
+				MATCHER_IN, left, right));
+} /* sdb_store_in_matcher */
 
-	if (! strcasecmp(attr, "name"))
-		m = sdb_store_name_matcher(type, value, re);
-	else if (type == SDB_ATTRIBUTE)
-		m = sdb_store_attr_matcher(attr, value, re);
+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)
+{
+	if (! right->type) {
+		if ((right->data.type != SDB_TYPE_STRING)
+				&& (right->data.type != SDB_TYPE_REGEX))
+			return NULL;
+
+		if (right->data.type == SDB_TYPE_STRING) {
+			char *raw = right->data.data.string;
+			if (sdb_data_parse(raw, SDB_TYPE_REGEX, &right->data))
+				return NULL;
+			free(raw);
+		}
+	}
+	return M(sdb_object_create("regex-matcher", cmp_type,
+				MATCHER_REGEX, left, right));
+} /* sdb_store_regex_matcher */
+
+sdb_store_matcher_t *
+sdb_store_nregex_matcher(sdb_store_expr_t *left, sdb_store_expr_t *right)
+{
+	sdb_store_matcher_t *m = sdb_store_regex_matcher(left, right);
 	if (! m)
 		return NULL;
-
-	if (inv) {
-		sdb_store_matcher_t *tmp;
-		tmp = sdb_store_inv_matcher(m);
-		/* pass ownership to the inverse matcher */
-		sdb_object_deref(SDB_OBJ(m));
-		m = tmp;
-	}
+	m->type = MATCHER_NREGEX;
 	return m;
-} /* sdb_store_matcher_parse_cmp */
+} /* sdb_store_nregex_matcher */
+
+sdb_store_matcher_t *
+sdb_store_isnull_matcher(sdb_store_expr_t *expr)
+{
+	return M(sdb_object_create("isnull-matcher", isnull_type,
+				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)
+{
+	if (! strcasecmp(op, "<"))
+		return sdb_store_lt_matcher;
+	else if (! strcasecmp(op, "<="))
+		return sdb_store_le_matcher;
+	else if (! strcasecmp(op, "="))
+		return sdb_store_eq_matcher;
+	else if (! strcasecmp(op, "!="))
+		return sdb_store_ne_matcher;
+	else if (! strcasecmp(op, ">="))
+		return sdb_store_ge_matcher;
+	else if (! strcasecmp(op, ">"))
+		return sdb_store_gt_matcher;
+	else if (! strcasecmp(op, "=~"))
+		return sdb_store_regex_matcher;
+	else if (! strcasecmp(op, "!~"))
+		return sdb_store_nregex_matcher;
+	return NULL;
+} /* sdb_store_parse_matcher_op */
+
+int
+sdb_store_parse_object_type(const char *name)
+{
+	if (! strcasecmp(name, "host"))
+		return SDB_HOST;
+	else if (! strcasecmp(name, "service"))
+		return SDB_SERVICE;
+	else if (! strcasecmp(name, "metric"))
+		return SDB_METRIC;
+	else if (! strcasecmp(name, "attribute"))
+		return SDB_ATTRIBUTE;
+	return -1;
+} /* sdb_store_parse_object_type */
+
+int
+sdb_store_parse_object_type_plural(const char *name)
+{
+	if (! strcasecmp(name, "hosts"))
+		return SDB_HOST;
+	else if (! strcasecmp(name, "services"))
+		return SDB_SERVICE;
+	else if (! strcasecmp(name, "metrics"))
+		return SDB_METRIC;
+	else if (! strcasecmp(name, "attributes"))
+		return SDB_ATTRIBUTE;
+	return -1;
+} /* sdb_store_parse_object_type_plural */
+
+int
+sdb_store_parse_field_name(const char *name)
+{
+	if (! strcasecmp(name, "name"))
+		return SDB_FIELD_NAME;
+	else if (! strcasecmp(name, "last_update"))
+		return SDB_FIELD_LAST_UPDATE;
+	else if (! strcasecmp(name, "age"))
+		return SDB_FIELD_AGE;
+	else if (! strcasecmp(name, "interval"))
+		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 */
 
 sdb_store_matcher_t *
 sdb_store_dis_matcher(sdb_store_matcher_t *left, sdb_store_matcher_t *right)
@@ -625,8 +731,12 @@ sdb_store_inv_matcher(sdb_store_matcher_t *m)
 } /* sdb_store_inv_matcher */
 
 int
-sdb_store_matcher_matches(sdb_store_matcher_t *m, sdb_store_base_t *obj)
+sdb_store_matcher_matches(sdb_store_matcher_t *m, sdb_store_obj_t *obj,
+		sdb_store_matcher_t *filter)
 {
+	if (filter && (! sdb_store_matcher_matches(filter, obj, NULL)))
+		return 0;
+
 	/* "NULL" always matches */
 	if ((! m) || (! obj))
 		return 1;
@@ -634,31 +744,8 @@ sdb_store_matcher_matches(sdb_store_matcher_t *m, sdb_store_base_t *obj)
 	if ((m->type < 0) || ((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers)))
 		return 0;
 
-	return matchers[m->type](m, obj);
+	return matchers[m->type](m, obj, filter);
 } /* sdb_store_matcher_matches */
 
-char *
-sdb_store_matcher_tostring(sdb_store_matcher_t *m, char *buf, size_t buflen)
-{
-	if (! m)
-		return NULL;
-
-	if ((m->type < 0)
-			|| (((size_t)m->type >= SDB_STATIC_ARRAY_LEN(matchers_tostring))))
-		return NULL;
-	return matchers_tostring[m->type](m, buf, buflen);
-} /* sdb_store_matcher_tostring */
-
-int
-sdb_store_lookup(sdb_store_matcher_t *m, sdb_store_lookup_cb cb,
-		void *user_data)
-{
-	lookup_iter_data_t data = { m, cb, user_data };
-
-	if (! cb)
-		return -1;
-	return sdb_store_iterate(lookup_iter, &data);
-} /* sdb_store_lookup */
-
 /* vim: set tw=78 sw=4 ts=4 noexpandtab : */