These constructors are needed by the visitor and various other
functions in the codebase. Maintain consistency and add these
constructs w/r/t changes in the SmPL AST.
Signed-off-by: Jaskaran Singh
---
parsing_cocci/ast0_cocci.ml | 4
parsing_cocci/ast0_cocci.mli | 4
parsing_cocci/ast_cocci.ml | 4
parsing_cocci/ast_cocci.mli | 2 ++
4 files changed, 14 insertions(+)
diff --git a/parsing_cocci/ast0_cocci.ml b/parsing_cocci/ast0_cocci.ml
index b3d8b137..70486e4c 100644
--- a/parsing_cocci/ast0_cocci.ml
+++ b/parsing_cocci/ast0_cocci.ml
@@ -553,6 +553,7 @@ and anything =
| DotsStmtTag of statement dots
| DotsDeclTag of declaration dots
| DotsFieldTag of field dots
+ | DotsEnumDeclTag of enum_decl dots
| DotsCaseTag of case_line dots
| DotsDefParamTag of define_param dots
| IdentTag of ident
@@ -566,6 +567,7 @@ and anything =
| InitTag of initialiser
| DeclTag of declaration
| FieldTag of field
+ | EnumDeclTag of enum_decl
| StmtTag of statement
| ForInfoTag of forinfo
| CaseLineTag of case_line
@@ -585,6 +587,7 @@ let dotsInit x = DotsInitTag x
let dotsStmt x = DotsStmtTag x
let dotsDecl x = DotsDeclTag x
let dotsField x = DotsFieldTag x
+let dotsEnumDecl x = DotsEnumDeclTag x
let dotsCase x = DotsCaseTag x
let dotsDefParam x = DotsDefParamTag x
let ident x = IdentTag x
@@ -601,6 +604,7 @@ let forinfo x = ForInfoTag x
let case_line x = CaseLineTag x
let string_fragment x = StringFragmentTag x
let top x = TopTag x
+let enum_decl x = EnumDeclTag x
(* - *)
(* Avoid cluttering the parser. Calculated in compute_lines.ml. *)
diff --git a/parsing_cocci/ast0_cocci.mli b/parsing_cocci/ast0_cocci.mli
index 732a1345..7b2a87c4 100644
--- a/parsing_cocci/ast0_cocci.mli
+++ b/parsing_cocci/ast0_cocci.mli
@@ -542,6 +542,7 @@ and anything =
| DotsStmtTag of statement dots
| DotsDeclTag of declaration dots
| DotsFieldTag of field dots
+ | DotsEnumDeclTag of enum_decl dots
| DotsCaseTag of case_line dots
| DotsDefParamTag of define_param dots
| IdentTag of ident
@@ -555,6 +556,7 @@ and anything =
| InitTag of initialiser
| DeclTag of declaration
| FieldTag of field
+ | EnumDeclTag of enum_decl
| StmtTag of statement
| ForInfoTag of forinfo
| CaseLineTag of case_line
@@ -574,6 +576,7 @@ val dotsParam : parameterTypeDef dots -> anything
val dotsStmt : statement dots -> anything
val dotsDecl : declaration dots -> anything
val dotsField : field dots -> anything
+val dotsEnumDecl : enum_decl dots -> anything
val dotsCase : case_line dots -> anything
val dotsDefParam : define_param dots -> anything
val ident : ident -> anything
@@ -585,6 +588,7 @@ val param : parameterTypeDef -> anything
val ini : initialiser -> anything
val decl : declaration -> anything
val field : field -> anything
+val enum_decl : enum_decl -> anything
val stmt : statement -> anything
val forinfo : forinfo -> anything
val case_line : case_line -> anything
diff --git a/parsing_cocci/ast_cocci.ml b/parsing_cocci/ast_cocci.ml
index 8fa64dcc..27942992 100644
--- a/parsing_cocci/ast_cocci.ml
+++ b/parsing_cocci/ast_cocci.ml
@@ -790,6 +790,7 @@ and anything =
| LogicalOpTagof logicalOp
| DeclarationTag of declaration
| FieldTagof field
+ | EnumDeclTag of enum_decl
| InitTag of initialiser
| StorageTag of storage
| IncFileTag of inc_file
@@ -807,6 +808,7 @@ and anything =
| StmtDotsTag of statement dots
| AnnDeclDotsTag of annotated_decl dots
| AnnFieldDotsTag of annotated_field dots
+ | EnumDeclDotsTag of enum_decl dots
| DefParDotsTag of define_param dots
| TypeCTagof typeC
| ParamTagof parameterTypeDef
@@ -932,6 +934,7 @@ and tag2c = function
| LogicalOpTag _ -> "LogicalOpTag"
| DeclarationTag _ -> "DeclarationTag"
| FieldTag _ -> "FieldTag"
+ | EnumDeclTag _ -> "EnumDeclTag"
| InitTag _ -> "InitTag"
| StorageTag _ -> "StorageTag"
| IncFileTag _ -> "IncFileTag"
@@ -949,6 +952,7 @@ and tag2c = function
| StmtDotsTag _ -> "StmtDotsTag"
| AnnDeclDotsTag _ -> "AnnDeclDotsTag"
| AnnFieldDotsTag _ -> "AnnFieldDotsTag"
+ | EnumDeclDotsTag _ -> "EnumDeclDotsTag"
| DefParDotsTag _ -> "DefParDotsTag"
| TypeCTag _ -> "TypeCTag"
| ParamTag _ -> "ParamTag"
diff --git a/parsing_cocci/ast_cocci.mli b/parsing_cocci/ast_cocci.mli
index e921f917..8316a427 100644
--- a/parsing_cocci/ast_cocci.mli
+++ b/parsing_cocci/ast_cocci.mli
@@ -759,6 +759,7 @@ and anything =
| LogicalOpTagof logicalOp
| DeclarationTag of declaration
| FieldTagof field
+ | EnumDeclTag of enum_decl
| InitTag of initialiser
| StorageTag of storage
| IncFileTag of inc_file
@@ -776,6 +777,7 @@ and anything =
| StmtDotsTag of statement dots