Skip to content
Snippets Groups Projects
Commit 3aae0bb6 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

copy VISB_SVG_ DEFINITIONS over to B translation

parent 50c7f125
No related branches found
No related tags found
No related merge requests found
Pipeline #107599 passed
...@@ -56,6 +56,7 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan ...@@ -56,6 +56,7 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_") if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_")
|| defName.startsWith("ASSERT_CTL") || defName.startsWith("ASSERT_LTL") || defName.startsWith("ASSERT_CTL") || defName.startsWith("ASSERT_LTL")
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION") || 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.equals("VISB_JSON_FILE")
|| defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS || defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) { || defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
......
...@@ -62,6 +62,7 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons ...@@ -62,6 +62,7 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION") if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION")
|| defName.startsWith("ANIMATION_IMG") || defName.startsWith("ANIMATION_IMG")
|| defName.startsWith("ASSERT_LTL") || defName.startsWith("ASSERT_CTL") || 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.equals("VISB_JSON_FILE")
|| defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS || defName.startsWith("GAME_") // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION") || defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment