import java.util.Map; import java.util.HashMap; public class Waveforms { private static final Map TO_WAVEFORM; static { TO_WAVEFORM = new HashMap(); } private Waveforms () {} /* Utility class. */ public static IDs get_associated_waveform_id (final IDs source) { IDs result; result = TO_WAVEFORM.get(source); if (result == null) { result = IDs.generate_new_id("waveform"); TO_WAVEFORM.put(source, result); } return result; } }