ast-to-instr/src/Waveforms.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

import java.util.Map;
import java.util.HashMap;

public class Waveforms
{
   private static final Map<IDs, IDs> TO_WAVEFORM;

   static
   {
      TO_WAVEFORM = new HashMap<IDs, IDs>();
   }

   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;
   }
}