Commit | Line | Data |
---|---|---|
34e49164 C |
1 | val process : |
2 | string (* filename *) -> string option (* iso filename *) -> | |
3 | bool (* verbose? *) -> | |
faf9a90c | 4 | (Ast_cocci.metavar list list) * (Ast_cocci.rule list) * |
978fd7e5 C |
5 | Ast_cocci.meta_name list list list (*fvs of the rule*) * |
6 | Ast_cocci.meta_name list list list (*negated pos vars*) * | |
7 | (Ast_cocci.meta_name list list list (*used after list*) * | |
8 | (*fresh used after list*) | |
9 | Ast_cocci.meta_name list list list * | |
10 | (*fresh used after list seeds*) | |
11 | Ast_cocci.meta_name list list list) * | |
12 | Ast_cocci.meta_name list list list (*positions list*) * | |
34e49164 | 13 | string list list (* non metavars in - code, for grep *) * |
7f004419 | 14 | string list option (* non metavars in - code, for glimpse/google *) |