Commit | Line | Data |
---|---|---|
34e49164 C |
1 | type cocci_predicate = Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif |
2 | type formula = | |
3 | (cocci_predicate,Ast_cocci.meta_name, Wrapper_ctl.info) Ast_ctl.generic_ctl | |
4 | ||
5 | val asttoctl : | |
978fd7e5 C |
6 | Ast_cocci.rule -> |
7 | (Ast_cocci.meta_name list list (* used after *) * | |
8 | Ast_cocci.meta_name list list (* fresh used after *) * | |
9 | Ast_cocci.meta_name list list (* fresh used after seeds *)) -> | |
34e49164 C |
10 | Ast_cocci.meta_name list list (* positions *) -> |
11 | formula list | |
12 | ||
13 | val pp_cocci_predicate : cocci_predicate -> unit | |
14 | ||
15 | val cocci_predicate_to_string : cocci_predicate -> string |