Commit | Line | Data |
---|---|---|
951c7801 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 | let poplz (name,_,ast) = | |
6 | match ast with | |
7 | [ast] -> | |
8 | let ast = Asttopopl.top ast in | |
9 | let qt = Insert_quantifiers.insert_quantifiers ast in | |
10 | [Popltoctl.toctl qt] | |
11 | | _ -> failwith "only one rule allowed" | |
12 | ||
13 | let popl r = | |
14 | match r with | |
15 | Ast_cocci.CocciRule(a,b,c,_,Ast_cocci.Normal) -> poplz (a,b,c) | |
16 | | _ -> [] |