From 8aa435aa94661af10705c8f0a7d821a466ded135 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 27 Jan 2023 17:59:35 +0100
Subject: [PATCH] add ASSERT_LTL and VISB_JSON_FILE to used def finder
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
index e109115..e064d6d 100644
--- a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
@@ -61,6 +61,9 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx,
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION")
|| defName.startsWith("ANIMATION_IMG")
+ || defName.startsWith("ASSERT_LTL") || defName.startsWith("ASSERT_CTL")
+ || defName.equals("VISB_JSON_FILE")
+ || defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
usedDefinitions.add(opDef);
--
GitLab