X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/ae4735db5e7e9386036cf7b496ebdc994514dc53..17ba07880e1838028b4516ba7a2db2147b3aa1c9:/engine/cocci_vs_c.mli

diff --git a/engine/cocci_vs_c.mli b/engine/cocci_vs_c.mli
index 63fccf3..8f3d482 100644
--- a/engine/cocci_vs_c.mli
+++ b/engine/cocci_vs_c.mli
@@ -1,5 +1,9 @@
 (*
- * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
+ * Copyright 2012, INRIA
+ * Julia Lawall, Gilles Muller
+ * Copyright 2010-2011, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
+ * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
  * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
  * This file is part of Coccinelle.
  *
@@ -125,6 +129,13 @@ module type PARAM =
 
     val distrf_ini :
       (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.initialiser) matcher
+    val distrf_inis :
+      (Ast_cocci.meta_name Ast_cocci.mcode,
+       (Ast_c.initialiser, Ast_c.il) Common.either list) matcher
+    val distrf_decl :
+      (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.declaration) matcher
+    val distrf_field :
+      (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field) matcher
 
     val distrf_node :
       (Ast_cocci.meta_name Ast_cocci.mcode, Control_flow_c.node) matcher
@@ -134,6 +145,10 @@ module type PARAM =
       (string Ast_c.wrap, Ast_c.il) Common.either list)
       matcher
 
+    val distrf_enum_fields :
+      (Ast_cocci.meta_name Ast_cocci.mcode,
+       (Ast_c.oneEnumType, Ast_c.il) Common.either list) matcher
+
     val distrf_struct_fields :
       (Ast_cocci.meta_name Ast_cocci.mcode, Ast_c.field list)
       matcher
@@ -188,7 +203,8 @@ module type PARAM =
     val optional_storage_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
     val optional_qualifier_flag : (bool -> tin -> 'x tout) -> (tin -> 'x tout)
     val value_format_flag: (bool -> tin -> 'x tout) -> (tin -> 'x tout)
-
+    val optional_declarer_semicolon_flag :
+	(bool -> tin -> 'x tout) -> (tin -> 'x tout)
 
   end