engine/asttoctl2.mli

   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 :
   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 *)) ->
  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