ast-to-instr/src/IDs.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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

import java.util.ArrayList;
import java.util.Collection;
import java.util.Map;
import java.util.HashMap;

public class IDs
{
   /** Static *****************************************************************/
   private static final Map<String, IDs> FROM_XML;
   private static final Collection<IDs> ALL_IDS;
   private static int next_id;

   static
   {
      next_id = 0;

      FROM_XML = new HashMap<String, IDs>();
      ALL_IDS = new ArrayList<IDs>();
   }


   public static IDs get_id_from_xml_id
   (
      final String xml_id,
      final String type
   )
   {
      IDs result;

      result = FROM_XML.get(xml_id);

      if (result == null)
      {
         result = new IDs(type);

         FROM_XML.put(xml_id, result);
      }
      else if ((result.type == null) && (type != null))
      {
         /* This allows us to get an ID from a simple reference. */
         /* TODO: Don't forget to report any (type == null) at the end. */
         result.type = type;
      }

      return result;
   }

   public static IDs generate_new_id
   (
      final String type
   )
   {
      final IDs result;

      result = new IDs(type);

      ALL_IDS.add(result);

      return result;
   }

   /** Non-Static *************************************************************/
   private final int value;
   private String type;

   private IDs (final String type)
   {
      this.type = type;

      value = IDs.next_id;

      IDs.next_id += 1;
   }

   public String get_type ()
   {
      return type;
   }

   public int get_value ()
   {
      return value;
   }
}