Release coccinelle-0.1.1

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

diff --git a/parsing_cocci/ast_cocci.mli b/parsing_cocci/ast_cocci.mli
index 0e5d0da..32fc4ca 100644 (file)
--- a/parsing_cocci/ast_cocci.mli
+++ b/parsing_cocci/ast_cocci.mli
@@ -374,6 +374,7 @@ and base_rule_elem =
   | Exp           of expression
   | TopExp        of expression (* for macros body *)
   | Ty            of fullType (* only at top level *)
+  | TopInit       of initialiser (* only at top level *)
   | Include       of string mcode (*#include*) * inc_file mcode (*file *)
   | DefineHeader  of string mcode (* #define *) * ident (* name *) *
                     define_parameters (*params*)
@@ -428,6 +429,8 @@ and ('a,'b) whencode =
     WhenNot of 'a
   | WhenAlways of 'b
   | WhenModifier of when_modifier
+  | WhenNotTrue of rule_elem
+  | WhenNotFalse of rule_elem
 
 and when_modifier =
     WhenAny