popl09/ast_popl.ml

   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