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

type combine =
    And of combine list | Or of combine list | Elem of string | False | True

val get_constants :
    Ast_cocci.rule list ->
      (((Ast_cocci.meta_name list) list) list) (*negated pos vars*) ->
	  (string list option (* grep result *) *
	     string list option (* non-grep result, if any *) *
	     combine option (* raw non-grep result, if any *))
Commit	Line	Data
1eddfd50 C	1	type combine =
	2	And of combine list \| Or of combine list \| Elem of string \| False \| True
	3
34e49164 C	4	val get_constants :
	5	Ast_cocci.rule list ->
	6	(((Ast_cocci.meta_name list) list) list) (negated pos vars) ->
90aeb998	7	(string list option (* grep result )
1eddfd50 C	8	string list option (* non-grep result, if any )
1eddfd50 C	9	combine option (* raw non-grep result, if any *))