From c4929998bb39252a2d56b3e2a01e73f3ca4cc2d1 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Thu, 10 Oct 2024 11:13:10 +0200 Subject: [PATCH] Allow show statements in cat grammar Signed-off-by: Hernan Ponce de Leon --- dartagnan/src/main/antlr4/Cat.g4 | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/dartagnan/src/main/antlr4/Cat.g4 b/dartagnan/src/main/antlr4/Cat.g4 index 84b4323be7..c5f899f394 100755 --- 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';