X-Git-Url: http://git.madism.org/?a=blobdiff_plain;f=postlicyd%2Ffilter.c;h=a150d6dbe97eb10451c43ecd5c33bafe92466c48;hb=ae0c2eb5d2ea501fd9e458fc138696c268a14569;hp=5c4f93e6e85011796fda817779b1e8f926a41e88;hpb=150de5c8a15de6797f2844293891621efefff40b;p=apps%2Fpfixtools.git diff --git a/postlicyd/filter.c b/postlicyd/filter.c index 5c4f93e..a150d6d 100644 --- a/postlicyd/filter.c +++ b/postlicyd/filter.c @@ -40,26 +40,132 @@ static filter_runner_t runners[FTK_count]; static filter_constructor_t constructors[FTK_count]; static filter_destructor_t destructors[FTK_count]; +static bool hooks[FTK_count][HTK_count]; +static bool params[FTK_count][ATK_count]; -void filter_register(const char *type, filter_constructor_t constructor, - filter_destructor_t destructor, filter_runner_t runner) +static filter_context_constructor_t ctx_constructors[FTK_count]; +static filter_context_destructor_t ctx_destructors[FTK_count]; + +static const filter_hook_t default_hook = { + .type = 0, + .value = (char*)"DUNNO", + .postfix = true, + .async = false, + .filter_id = 0 +}; + +static const filter_hook_t async_hook = { + .type = 0, + .value = NULL, + .postfix = false, + .async = true, + .filter_id = 0 +}; + +filter_type_t filter_register(const char *type, filter_constructor_t constructor, + filter_destructor_t destructor, filter_runner_t runner, + filter_context_constructor_t context_constructor, + filter_context_destructor_t context_destructor) { filter_token tok = filter_tokenize(type, m_strlen(type)); - assert(tok != FTK_UNKNOWN && "Unknown filter type"); + CHECK_FILTER(tok); + runners[tok] = runner; constructors[tok] = constructor; destructors[tok] = destructor; + + ctx_constructors[tok] = context_constructor; + ctx_destructors[tok] = context_destructor; + return tok; +} + +filter_result_t filter_hook_register(filter_type_t filter, + const char *name) +{ + filter_result_t tok = hook_tokenize(name, m_strlen(name)); + CHECK_FILTER(filter); + CHECK_HOOK(tok); + + hooks[filter][tok] = true; + return tok; +} + +filter_param_id_t filter_param_register(filter_type_t filter, + const char *name) +{ + filter_param_id_t tok = param_tokenize(name, m_strlen(name)); + CHECK_FILTER(filter); + CHECK_PARAM(tok); + + params[filter][tok] = true; + return tok; } bool filter_build(filter_t *filter) { + bool ret = true; if (filter->type == FTK_UNKNOWN || filter->name == NULL) { return false; } + if (filter->hooks.len > 0) { +# define QSORT_TYPE filter_hook_t +# define QSORT_BASE filter->hooks.data +# define QSORT_NELT filter->hooks.len +# define QSORT_LT(a,b) a->type < b->type +# include "qsort.c" + } filter_constructor_t constructor = constructors[filter->type]; if (constructor) { - return constructor(filter); + ret = constructor(filter); } + array_deep_wipe(filter->params, filter_params_wipe); + return ret; +} + +bool filter_update_references(filter_t *filter, A(filter_t) *filter_list) +{ + foreach (filter_hook_t *hook, filter->hooks) { + if (!hook->postfix) { + hook->filter_id = filter_find_with_name(filter_list, hook->value); + if (hook->filter_id == -1) { + err("invalid filter name %s for hook %s", + hook->value, htokens[hook->type]); + return false; + } + p_delete(&hook->value); + } + }} + return true; +} + +static inline bool filter_check_loop(filter_t *filter, A(filter_t) *array, int level) +{ + if (filter->last_seen == level) { + return true; + } + filter->last_seen = level; + foreach (filter_hook_t *hook, filter->hooks) { + if (hook->postfix) { + continue; + } + if (hook->filter_id == level) { + return false; + } + if (!filter_check_loop(array_ptr(*array, hook->filter_id), array, level)) { + return false; + } + }} + return true; +} + +bool filter_check_safety(A(filter_t) *array) +{ + foreach (filter_t *filter, *array) { + if (!filter_check_loop(filter, array, __Ai)) { + err("the filter tree contains a loop"); + return false; + } + }} return true; } @@ -74,40 +180,117 @@ void filter_wipe(filter_t *filter) p_delete(&filter->name); } -filter_result_t filter_run(const filter_t *filter, const query_t *query) +const filter_hook_t *filter_run(const filter_t *filter, const query_t *query, + filter_context_t *context) { - return runners[filter->type](filter, query); + int start = 0; + int end = filter->hooks.len; + debug("running filter %s (%s)", filter->name, ftokens[filter->type]); + filter_result_t res = runners[filter->type](filter, query, context); + + context->current_filter = NULL; + + debug("filter run, result is %s", htokens[res]); + if (res == HTK_ABORT) { + return NULL; + } + if (res == HTK_ASYNC) { + context->current_filter = filter; + return &async_hook; + } + + while (start < end) { + int mid = (start + end) / 2; + filter_hook_t *hook = array_ptr(filter->hooks, mid); + if (hook->type == res) { + debug("return hook of type %s, value %s", + htokens[hook->type], hook->value); + return hook; + } else if (res < hook->type) { + end = mid; + } else { + start = mid + 1; + } + } + warn("missing hook %s for filter %s", htokens[res], filter->name); + return &default_hook; } -void filter_set_name(filter_t *filter, const char *name, ssize_t len) +bool filter_test(const filter_t *filter, const query_t *query, + filter_context_t *context, filter_result_t result) { - filter->name = p_new(char, len + 1); - memcpy(filter->name, name, len); - filter->name[len] = '\0'; + return !!(runners[filter->type](filter, query, context) == result); } -bool filter_set_type(filter_t *filter, const char *type, ssize_t len) +void filter_set_name(filter_t *filter, const char *name, int len) +{ + filter->name = p_dupstr(name, len); +} + +bool filter_set_type(filter_t *filter, const char *type, int len) { filter->type = filter_tokenize(type, len); return filter->type != FTK_UNKNOWN; } -bool filter_add_param(filter_t *filter, const char *name, ssize_t name_len, - const char *value, ssize_t value_len) +bool filter_add_param(filter_t *filter, const char *name, int name_len, + const char *value, int value_len) { - filter_params_t param; - param.name = strdup(name); - param.value = strdup(value); + filter_param_t param; + param.type = param_tokenize(name, name_len); + if (param.type == ATK_UNKNOWN) { + err("unknown parameter %.*s", name_len, name); + return false; + } + if (!params[filter->type][param.type]) { + err("hook %s is not valid for filter %s", + atokens[param.type], ftokens[filter->type]); + return false; + } + param.value = p_dupstr(value, value_len); + param.value_len = value_len; array_add(filter->params, param); return true; } -bool filter_add_hook(filter_t *filter, const char *name, ssize_t name_len, - const char *value, ssize_t value_len) +bool filter_add_hook(filter_t *filter, const char *name, int name_len, + const char *value, int value_len) { filter_hook_t hook; - hook.name = strdup(name); - hook.value = strdup(value); + hook.type = hook_tokenize(name, name_len); + if (hook.type == HTK_UNKNOWN) { + err("unknown hook type %.*s", name_len, name); + return false; + } + if (!hooks[filter->type][hook.type] || hook.type == HTK_ABORT) { + err("hook %s not is valid for filter %s", + htokens[hook.type], ftokens[filter->type]); + return false; + } + hook.async = false; + hook.postfix = (strncmp(value, "postfix:", 8) == 0); + hook.value = m_strdup(hook.postfix ? value + 8 : value); + hook.filter_id = -1; array_add(filter->hooks, hook); return true; } + +void filter_context_prepare(filter_context_t *context, void *qctx) +{ + for (int i = 0 ; i < FTK_count ; ++i) { + if (ctx_constructors[i] != NULL) { + context->contexts[i] = ctx_constructors[i](); + } + } + context->current_filter = NULL; + context->data = qctx; +} + +void filter_context_wipe(filter_context_t *context) +{ + for (int i = 0 ; i < FTK_count ; ++i) { + if (ctx_destructors[i] != NULL) { + ctx_destructors[i](context->contexts[i]); + } + } +}