From 3aae0bb6797ccb0d607ddea0a924caeea512bee8 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 15 Feb 2023 10:55:17 +0100
Subject: [PATCH] copy VISB_SVG_ DEFINITIONS over to B translation
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
src/main/java/de/tla2b/translation/BDefinitionsFinder.java | 1 +
src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java | 1 +
2 files changed, 2 insertions(+)
diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index 2ea6fd3..d853a5e 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -56,6 +56,7 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
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_SVG_") // VISB_SVG_OBJECTS, VISB_SVG_UPDATES, VISB_SVG_HOVERS
|| defName.equals("VISB_JSON_FILE")
|| defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
diff --git a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
index e064d6d..321ad57 100644
--- a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
@@ -62,6 +62,7 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION")
|| defName.startsWith("ANIMATION_IMG")
|| defName.startsWith("ASSERT_LTL") || defName.startsWith("ASSERT_CTL")
+ || defName.startsWith("VISB_SVG_") // VISB_SVG_OBJECTS, VISB_SVG_UPDATES, VISB_SVG_HOVERS
|| defName.equals("VISB_JSON_FILE")
|| defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
--
GitLab