sol_pretty_printer/src/SolutionItem.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

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

public class SolutionItem
{
   private static final Map<String, SolutionItem> FROM_ID;

   static
   {
      FROM_ID = new HashMap<String, SolutionItem>();
   }


   public static void handle_unary_set_function
   (
      final String function,
      final String id,
      final String value
   )
   {
      SolutionItem si;

      si = FROM_ID.get(id);

      if (id == null)
      {
         si = new SolutionItem(id);

         FROM_ID.put(id, si);
      }

      si.function_values.put(function.toLowerCase(), value);
   }

   public static SolutionItem get_item_from_id (final String id)
   {
      return FROM_ID.get(id);
   }

   /** Non-Static *************************************************************/
   private final Map<String, String> function_values;

   private SolutionItem
   (
      final String id
   )
   {
      function_values = new HashMap<String, String>();
      function_values.put("id", id);
   }

   public String get_function_value (final String fun)
   {
      return function_values.get(fun);
   }
}