| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | src/hastabel/Strings.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/hastabel/Strings.java b/src/hastabel/Strings.java index b90ccf7..f3d4892 100644 --- a/src/hastabel/Strings.java +++ b/src/hastabel/Strings.java @@ -17,6 +17,7 @@ public class Strings { private final Map<String, Element> AS_ELEMENT; + private final Map<String, String> FROM_ELEMENT_NAME; private final Collection<Pattern> regexes; private final Type string_type; @@ -33,6 +34,7 @@ public class Strings public Strings (final Type string_type, final LogicWorld world) { AS_ELEMENT = new HashMap<String, Element>(); + FROM_ELEMENT_NAME = new HashMap<String, String>(); regexes = new ArrayList<Pattern>(); anon_string_prefix = "_string_"; /* TODO: use a program param. */ @@ -60,6 +62,7 @@ public class Strings anon_string_count += 1; AS_ELEMENT.put(str, elem); + FROM_ELEMENT_NAME.put(elem.get_name(), str); } return elem; @@ -73,6 +76,11 @@ public class Strings return get_string_as_element(str); } + public String get_string_from_element_name (final String e_name) + { + return FROM_ELEMENT_NAME.get(e_name); + } + public void populate_regex_predicate (final Predicate rp) { final Set<Map.Entry<String, Element>> candidates; |