From 8dc55564fc62df301c3c580b92b99a48b8a944ce Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sun, 26 Jun 2022 10:10:21 +0200
Subject: [PATCH] keep VISB_JSON_FILE and ASSERT_LTL/ASSERT_CTL defs
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index 6c3ba3d..bbbbe4c 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -54,7 +54,9 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
String defName = opDef.getName().toString();
// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx,
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_")
+ || defName.startsWith("ASSERT_CTL") || defName.startsWith("ASSERT_LTL")
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
+ || defName.startsWith("VISB_JSON_FILE")
|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
bDefinitionsSet.add(opDef);
}
--
GitLab