parsing_cocci/parse_cocci.mli

   1 val process :
   2     string (* filename *) -> string option (* iso filename *) ->
   3       bool (* verbose? *) ->
   4         (Ast_cocci.metavar list list) * (Ast_cocci.rule list) *
   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*) *
  13           string list list (* non metavars in - code, for grep *) *
  14           string list option (* non metavars in - code, for glimpse/google *)