summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sol-pretty-printer/src/SolutionItem.java')
-rw-r--r--sol-pretty-printer/src/SolutionItem.java82
1 files changed, 82 insertions, 0 deletions
diff --git a/sol-pretty-printer/src/SolutionItem.java b/sol-pretty-printer/src/SolutionItem.java
new file mode 100644
index 0000000..f251b62
--- /dev/null
+++ b/sol-pretty-printer/src/SolutionItem.java
@@ -0,0 +1,82 @@
+import java.util.Map;
+import java.util.HashMap;
+import java.util.Set;
+
+public class SolutionItem
+{
+ private static final Map<String, SolutionItem> FROM_ID;
+
+ static
+ {
+ FROM_ID = new HashMap<String, SolutionItem>();
+ }
+
+ public static void handle_is_waveform_of
+ (
+ final String wfm_id,
+ final String origin_id
+ )
+ {
+ SolutionItem si;
+
+ si = FROM_ID.get(origin_id);
+
+ if (si == null)
+ {
+ si = new SolutionItem(origin_id);
+
+ FROM_ID.put(origin_id, si);
+ }
+
+ FROM_ID.put(wfm_id, si);
+ }
+
+ public static void handle_unary_set_function
+ (
+ final String function,
+ final String id,
+ final String value
+ )
+ {
+ SolutionItem si;
+
+ si = FROM_ID.get(id);
+
+ if (si == 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 Set<Map.Entry<String, String>> get_functions_data ()
+ {
+ return function_values.entrySet();
+ }
+
+ public String get_function_value (final String fun)
+ {
+ return function_values.get(fun);
+ }
+}