summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 15:28:17 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 15:28:17 +0200
commit90bb7e959496c3a12bebe055f6344b9f06f22809 (patch)
tree6635decc697d91c8cba6da9db8959b706ad9842f /sol_pretty_printer/src/SolutionItem.java
parentc5a23ef9d6ab1e89b85016831fc8b2431f68f87f (diff)
Improving clarity through better Makefiles.
Diffstat (limited to 'sol_pretty_printer/src/SolutionItem.java')
-rw-r--r--sol_pretty_printer/src/SolutionItem.java82
1 files changed, 0 insertions, 82 deletions
diff --git a/sol_pretty_printer/src/SolutionItem.java b/sol_pretty_printer/src/SolutionItem.java
deleted file mode 100644
index f251b62..0000000
--- a/sol_pretty_printer/src/SolutionItem.java
+++ /dev/null
@@ -1,82 +0,0 @@
-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);
- }
-}