Allow show statements in cat grammar (#742)

Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Oct 10, 2024 · 7ffb695 · 7ffb695
1 parent 95fe0c3
commit 7ffb695
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/dartagnan/src/main/antlr4/Cat.g4 b/dartagnan/src/main/antlr4/Cat.g4
@@ -5,7 +5,7 @@ import com.dat3m.dartagnan.wmm.axiom.*;
 }
 
 mcm
-    :   (NAME)? (QUOTED_STRING)? (definition | include)+ EOF
+    :   (NAME)? (QUOTED_STRING)? (definition | include | show)+ EOF
     ;
 
 definition
@@ -58,7 +58,11 @@ expression
     ;
 
 include
-    :   'include' path = QUOTED_STRING
+    :   INCLUDE path = QUOTED_STRING
+    ;
+
+show
+    :   SHOW expression (AS NAME)?
     ;
 
 parameterList
@@ -74,6 +78,8 @@ REC     :   'rec';
 AND     :   'and';
 AS      :   'as';
 TOID    :   'toid';
+SHOW    :   'show';
+INCLUDE :   'include';
 
 ACYCLIC     :   'acyclic';
 IRREFLEXIVE :   'irreflexive';