From 1851f5e76018ec1df3b55dce6cc9a64c9497bf7a Mon Sep 17 00:00:00 2001 From: bd-912 Date: Fri, 26 Apr 2024 15:50:38 -0600 Subject: Rearrange directory structure --- boil/library/TypeFactory.java | 51 ------------------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 boil/library/TypeFactory.java (limited to 'boil/library/TypeFactory.java') 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 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; - } -} -- cgit v1.2.3