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

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

and term =
    Atomic of Ast_cocci.rule_elem
  | IfThen of term * term * Ast_cocci.end_info
  | TExists of Ast_cocci.meta_name * term

and element =
    Term of term * dots_bef_aft
  | Or of sequence * sequence
  | DInfo of dots
  | EExists of Ast_cocci.meta_name * element

and dots = 
    Dots
  | Nest of sequence
  | When of dots * sequence

and dots_bef_aft =
    NoDots
  | AddingBetweenDots of term * int (*index of let var*)
  | DroppingBetweenDots of term * int (*index of let var*)
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 term =
	7	Atomic of Ast_cocci.rule_elem
	8	\| IfThen of term * term * Ast_cocci.end_info
	9	\| TExists of Ast_cocci.meta_name * term
	10
	11	and element =
	12	Term of term * dots_bef_aft
	13	\| Or of sequence * sequence
	14	\| DInfo of dots
	15	\| EExists of Ast_cocci.meta_name * element
	16
	17	and dots =
	18	Dots
	19	\| Nest of sequence
	20	\| When of dots * sequence
	21
	22	and dots_bef_aft =
	23	NoDots
	24	\| AddingBetweenDots of term * int (index of let var)
	25	\| DroppingBetweenDots of term * int (index of let var)
	26