Allow show statements in cat grammar (#742)

hernanponcedeleon · hernan-poncedeleon · web-flow · commit 7ffb6952b679 · 2024-10-10T13:22:42.000+02:00
Signed-off-by: Hernan Ponce de Leon &lt;hernanl.leon@huawei.com&gt;
Co-authored-by: Hernan Ponce de Leon &lt;hernanl.leon@huawei.com&gt;
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';

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ import com.dat3m.dartagnan.wmm.axiom.*;`
`5`	`5`	`}`
`6`	`6`
`7`	`7`	`mcm`
`8`		`- : (NAME)? (QUOTED_STRING)? (definition \| include)+ EOF`
	`8`	`+ : (NAME)? (QUOTED_STRING)? (definition \| include \| show)+ EOF`
`9`	`9`	`;`
`10`	`10`
`11`	`11`	`definition`
`@@ -58,7 +58,11 @@ expression`
`58`	`58`	`;`
`59`	`59`
`60`	`60`	`include`
`61`		`- : 'include' path = QUOTED_STRING`
	`61`	`+ : INCLUDE path = QUOTED_STRING`
	`62`	`+ ;`
	`63`	`+`
	`64`	`+show`
	`65`	`+ : SHOW expression (AS NAME)?`
`62`	`66`	`;`
`63`	`67`
`64`	`68`	`parameterList`
`@@ -74,6 +78,8 @@ REC : 'rec';`
`74`	`78`	`AND : 'and';`
`75`	`79`	`AS : 'as';`
`76`	`80`	`TOID : 'toid';`
	`81`	`+SHOW : 'show';`
	`82`	`+INCLUDE : 'include';`
`77`	`83`
`78`	`84`	`ACYCLIC : 'acyclic';`
`79`	`85`	`IRREFLEXIVE : 'irreflexive';`