Release coccinelle-0.1.1

[bpt/coccinelle.git] / parsing_cocci / pretty_print_cocci.ml

diff --git a/parsing_cocci/pretty_print_cocci.ml b/parsing_cocci/pretty_print_cocci.ml
index 308a25e..ede9f3f 100644 (file)
--- a/parsing_cocci/pretty_print_cocci.ml
+++ b/parsing_cocci/pretty_print_cocci.ml
@@ -579,6 +579,7 @@ let rec rule_elem arity re =
   | Ast.Exp(exp) -> print_string arity; expression exp
   | Ast.TopExp(exp) -> print_string arity; expression exp
   | Ast.Ty(ty) -> print_string arity; fullType ty
+  | Ast.TopInit(init) -> initialiser init
   | Ast.Include(inc,s) ->
       mcode print_string inc; print_string " "; mcode inc_file s
   | Ast.DefineHeader(def,id,params) ->
@@ -698,6 +699,10 @@ and whencode notfn alwaysfn = function
   | Ast.WhenAlways a ->
       print_string "   WHEN = "; open_box 0; alwaysfn a; close_box()
   | Ast.WhenModifier x -> print_string "   WHEN "; print_when_modif x
+  | Ast.WhenNotTrue a ->
+      print_string "   WHEN != TRUE "; open_box 0; rule_elem "" a; close_box()
+  | Ast.WhenNotFalse a ->
+      print_string "   WHEN != FALSE "; open_box 0; rule_elem "" a; close_box()
 
 and print_when_modif = function
   | Ast.WhenAny    -> print_string "ANY"