From b000185cf10a21f536f008d6dfd74b78226b7bea Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Tue, 29 Oct 2024 19:49:42 +0100
Subject: [PATCH] add TlaUtils
---
src/main/java/de/tla2b/util/TlaUtils.java | 25 +++++++++++++++++++++++
1 file changed, 25 insertions(+)
create mode 100644 src/main/java/de/tla2b/util/TlaUtils.java
diff --git a/src/main/java/de/tla2b/util/TlaUtils.java b/src/main/java/de/tla2b/util/TlaUtils.java
new file mode 100644
index 0000000..cf53a4d
--- /dev/null
+++ b/src/main/java/de/tla2b/util/TlaUtils.java
@@ -0,0 +1,25 @@
+package de.tla2b.util;
+
+import tla2sany.semantic.OpDefNode;
+
+import java.util.HashMap;
+import java.util.Map;
+
+public class TlaUtils {
+
+ public static Map<String, OpDefNode> getOpDefsMap(OpDefNode[] opDefNodes) {
+ Map<String, OpDefNode> definitions = new HashMap<>();
+ for (OpDefNode def : opDefNodes) {
+ // Definition in this module
+// if (StandardModules.contains(def.getOriginallyDefinedInModuleNode()
+// .getName().toString())
+// || StandardModules.contains(def.getSource()
+// .getOriginallyDefinedInModuleNode().getName()
+// .toString())) {
+// continue;
+// }
+ definitions.put(def.getName().toString(), def);
+ }
+ return definitions;
+ }
+}
--
GitLab