diff options
Diffstat (limited to 'boil/library/TypeFactory.java')
-rw-r--r-- | boil/library/TypeFactory.java | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/boil/library/TypeFactory.java b/boil/library/TypeFactory.java deleted file mode 100644 index ddf54c8..0000000 --- a/boil/library/TypeFactory.java +++ /dev/null @@ -1,51 +0,0 @@ -package boil.library; - -import misc.*; -import java.util.HashMap; - -public class TypeFactory { - - private int type_num; - private HashMap<String,String> map; - - public void reset() { - this.type_num = 0; - this.map = new HashMap<>(); - } - - public String alias(String t) { - /** - * Given a TypeInstance, return the designated - * vapor alias. If the alias does not exist, create it. - */ - String alias; - if ((alias = this.map.get(t)) == null) { - alias = String.format("t.%d", this.type_num++); - MinimalLogger.info(String.format("Created alias %s for %s...", - alias, - t)); - - this.map.put(t, alias); - } - - return alias; - } - - public String retrieveRecentList(int x) { - /** - * Given int x, retrieve a space-delimited - * list of the x most recent entries. - */ - String rtn = ""; - if (x > 0) { - rtn += String.format("t.%d", - type_num-x); - for (int i = type_num-(x-1); i < type_num; ++i) { - rtn += String.format(" t.%d", - i); - } - } - - return rtn; - } -} |