static void init_test_bench(test_bench_t *bench, poly_table_t *ptable) {
uint32_t nv, np;
np = ptable->npolys;
nv = ptable->nvars;
bench->base_level = 0;
bench->decision_level = 0;
bench->conflict = false;
bench->conflict_eq = -1;
bench->mngr_conflict = false;
bench->show_details = false;
bench->ptable = ptable;
init_substitution(&bench->subst, np);
init_subst_queue(&bench->squeue, nv);
init_active_polys(&bench->act, np);
init_op_stack(&bench->stack);
init_equality_queue(&bench->equeue, np);
init_offset_manager(&bench->manager, &bench->equeue, notify_equality);
init_poly_buffer(&bench->buffer);
}
/*
* interface, not static
*/
void init_filter_tree(int argc) {
char * exp;
int exp_num = 0;
init_op_stack(argc);
filter_list_size = argc;
filter_list_len = 0;
filter_list = (Filter **)(malloc(sizeof(Filter) * argc));
while((exp = get_exp()) != NULL) {
exp_num++;
char * optarg;
//all the exps
if (IS_EQUAL(exp, "-name")) {
optarg = _get_arg("-name");
init_fnmatch(optarg, true);
} else if (IS_EQUAL(exp, "-iname")) {
optarg = _get_arg("-iname");
init_fnmatch(optarg, false);
} else if (IS_EQUAL(exp, "-user")) {
optarg = _get_arg("-user");
init_user(optarg);
} else if (IS_EQUAL(exp, "-group")) {
optarg = _get_arg("-group");
init_group(optarg);
} else if (IS_EQUAL(exp, "-perm")) {
optarg = _get_arg("-perm");
init_perm(optarg);
} else if (IS_EQUAL(exp, "-regex")) {
optarg = _get_arg("-regex");
init_reg(optarg);
} else if (IS_EQUAL(exp, "-amin")) {
optarg = _get_arg("-amin");
init_time(AMIN, optarg);
} else if (IS_EQUAL(exp, "-atime")) {
optarg = _get_arg("-atime");
init_time(ATIME, optarg);
} else if (IS_EQUAL(exp, "-anewer")) {
optarg = _get_arg("-anewer");
init_time(ANEWER, optarg);
} else if (IS_EQUAL(exp, "-cnewer")) {
optarg = _get_arg("-cnewer");
init_time(CNEWER, optarg);
} else if (IS_EQUAL(exp, "-cmin")) {
optarg = _get_arg("-cmin");
init_time(CMIN, optarg);
} else if (IS_EQUAL(exp, "-ctime")) {
optarg = _get_arg("-ctime");
init_time(CTIME, optarg);
} else if (IS_EQUAL(exp, "-mtime")) {
optarg = _get_arg("-mtime");
init_time(MMIN, optarg);
} else if (IS_EQUAL(exp, "-mnewer")) {
optarg = _get_arg("-mnewer");
init_time(MNEWER, optarg);
} else if (IS_EQUAL(exp, "-type")) {
optarg = _get_arg("-type");
init_filetype(optarg);
} else if (IS_EQUAL(exp, "-size")) {
optarg = _get_arg("-size");
init_filesize(optarg);
} else if (IS_EQUAL(exp, "-not")) {
#ifdef DEBUG
fprintf(stderr, "filter not adapter\n");
#endif
filter_not();
} else if (IS_EQUAL(exp, "-and")) {
#ifdef DEBUG
fprintf(stderr, "filter and\n");
#endif
filter_and();
} else if (IS_EQUAL(exp, "-or")) {
#ifdef DEBUG
fprintf(stderr, "filter or\n");
#endif
filter_or();
} else {
//TODO
}
}
if (exp_num == 0) {
init_true();
}
filter_tree.passed = op_stack[0];
free_op_stack();
}
