summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 15:28:17 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 15:28:17 +0200
commit90bb7e959496c3a12bebe055f6344b9f06f22809 (patch)
tree6635decc697d91c8cba6da9db8959b706ad9842f /sol_pretty_printer/src/Waveforms.java
parentc5a23ef9d6ab1e89b85016831fc8b2431f68f87f (diff)
Improving clarity through better Makefiles.
Diffstat (limited to 'sol_pretty_printer/src/Waveforms.java')
-rw-r--r--sol_pretty_printer/src/Waveforms.java40
1 files changed, 0 insertions, 40 deletions
diff --git a/sol_pretty_printer/src/Waveforms.java b/sol_pretty_printer/src/Waveforms.java
deleted file mode 100644
index 3a40869..0000000
--- a/sol_pretty_printer/src/Waveforms.java
+++ /dev/null
@@ -1,40 +0,0 @@
-import java.util.Map;
-import java.util.HashMap;
-
-public class Waveforms
-{
- private static final Map<String, String> FROM_WAVEFORM;
-
- static
- {
- FROM_WAVEFORM = new HashMap<String, String>();
- }
-
- private Waveforms () {} /* Utility class. */
-
- public static void register_map (final String wfm_id, final String elem_id)
- {
- FROM_WAVEFORM.put(wfm_id, elem_id);
- }
-
- public static String get_id_from_waveform_id (final String wfm_id)
- {
- final String result;
-
- result = FROM_WAVEFORM.get(wfm_id);
-
- if (result == null)
- {
- System.err.println
- (
- "[F] There is no element associated with waveform \""
- + wfm_id
- + "\". Is the model complete?"
- );
-
- System.exit(-1);
- }
-
- return result;
- }
-}