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 0000000000000000000000000000000000000000..cf53a4dedf64fc199ea3ac2bc7df335d0d413423 --- /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; + } +}