[bpt/coccinelle.git] / popl / ast_popl.ml

type sequence =
    Seq of element * sequence
  | Empty
  | SExists of Ast_cocci.meta_name * sequence

and element =
    Term of Ast_cocci.rule_elem
  | Or of sequence * sequence
  | DInfo of dots * element list (* before *) * element list (* after *)
  | EExists of Ast_cocci.meta_name * element

and dots = 
    Dots
  | Nest of sequence
  | When of dots * sequence
  | DExists of Ast_cocci.meta_name * dots
Commit	Line	Data
951c7801 C	1	type sequence =
	2	Seq of element * sequence
	3	\| Empty
	4	\| SExists of Ast_cocci.meta_name * sequence
	5
	6	and element =
	7	Term of Ast_cocci.rule_elem
	8	\| Or of sequence * sequence
	9	\| DInfo of dots * element list (* before ) element list (* after *)
	10	\| EExists of Ast_cocci.meta_name * element
	11
	12	and dots =
	13	Dots
	14	\| Nest of sequence
	15	\| When of dots * sequence
	16	\| DExists of Ast_cocci.meta_name * dots