From b884c32b2d4147d2c89fb056572308e82383d99f Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 31 Aug 2018 10:32:25 +0200
Subject: [PATCH] translate SCOPE and scope_ definitions
---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index d5b9d60..6c3ba3d 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -54,7 +54,8 @@ 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("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")|| defName.startsWith("SCOPE_")) {
+ || defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
+ || defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
bDefinitionsSet.add(opDef);
}
}
--
GitLab