From 6fea30e26cf1486b9bb862c3f9a2079617c2332f Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Thu, 31 May 2018 10:42:53 +0200
Subject: Adds a way to find the string matching an element.

---
 src/hastabel/Strings.java | 8 ++++++++
 1 file changed, 8 insertions(+)

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;
-- 
cgit v1.2.3-70-g09d2