| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 15:28:17 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 15:28:17 +0200 |
| commit | 90bb7e959496c3a12bebe055f6344b9f06f22809 (patch) | |
| tree | 6635decc697d91c8cba6da9db8959b706ad9842f /sol_pretty_printer/src/Waveforms.java | |
| parent | c5a23ef9d6ab1e89b85016831fc8b2431f68f87f (diff) | |
Improving clarity through better Makefiles.
Diffstat (limited to 'sol_pretty_printer/src/Waveforms.java')
| -rw-r--r-- | sol_pretty_printer/src/Waveforms.java | 40 |
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; - } -} |


