[bpt/coccinelle.git] / parsing_cocci / free_vars.mli

(* Used after things can only have one binding.  Positions can have many
bindings.  These are combined in ctlcocciintegration, ie after the CTL
generation. *)

val free_vars : Ast_cocci.rule_with_metavars list ->
  (Ast_cocci.metavar list list) * (Ast_cocci.rule list) *
    (((Ast_cocci.meta_name list) list) list) (*fvs of the rule*) *
    (((Ast_cocci.meta_name list) list) list) (*negated position vars*) *
    ((((Ast_cocci.meta_name list) list) list) (*used after list*) *
       (((Ast_cocci.meta_name list) list) list) (*fresh used after list*) *
       (((Ast_cocci.meta_name list) list)list)(*fresh used after list seeds*))*
    (((Ast_cocci.meta_name list) list) list) (*positions list*)
Commit	Line	Data
34e49164 C	1	(* Used after things can only have one binding. Positions can have many
	2	bindings. These are combined in ctlcocciintegration, ie after the CTL
	3	generation. *)
	4
	5	val free_vars : Ast_cocci.rule_with_metavars list ->
faf9a90c	6	(Ast_cocci.metavar list list) * (Ast_cocci.rule list) *
34e49164 C	7	(((Ast_cocci.meta_name list) list) list) (fvs of the rule) *
34e49164 C	8	(((Ast_cocci.meta_name list) list) list) (negated position vars) *
978fd7e5 C	9	((((Ast_cocci.meta_name list) list) list) (used after list) *
	10	(((Ast_cocci.meta_name list) list) list) (fresh used after list) *
	11	(((Ast_cocci.meta_name list) list)list)(fresh used after list seeds))*
34e49164	12	(((Ast_cocci.meta_name list) list) list) (positions list)