import java.util.Map; import java.util.HashMap; public class Waveforms { private static final Map FROM_WAVEFORM; static { FROM_WAVEFORM = new HashMap(); } 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; } }