adapted parser to parse adts without field names

viperproject · Sep 29, 2023 · 49a08a0 · 49a08a0
1 parent 4be9341
commit 49a08a0
Show file tree

Hide file tree

Showing 14 changed files with 3,094 additions and 2,831 deletions.
diff --git a/src/main/antlr4/GobraParser.g4 b/src/main/antlr4/GobraParser.g4
@@ -150,7 +150,9 @@ domainClause: FUNC IDENTIFIER signature | AXIOM L_CURLY expression eos R_CURLY;
 
 adtType: ADT L_CURLY (adtClause eos)* R_CURLY;
 
-adtClause: IDENTIFIER L_CURLY (fieldDecl eos)* R_CURLY;
+adtClause: IDENTIFIER L_CURLY (adtFieldDecl eos)* R_CURLY;
+
+adtFieldDecl: identifierList? type_;
 
 ghostSliceType: GHOST L_BRACKET R_BRACKET elementType;
 

diff --git a/src/main/java/viper/gobra/frontend/GobraLexer.java b/src/main/java/viper/gobra/frontend/GobraLexer.java