diff options
author | bd-912 <bdunahu@colostate.edu> | 2024-04-26 15:50:38 -0600 |
---|---|---|
committer | bd-912 <bdunahu@colostate.edu> | 2024-04-26 15:50:38 -0600 |
commit | 1851f5e76018ec1df3b55dce6cc9a64c9497bf7a (patch) | |
tree | 30f629f7b137a494d4202487f4e22df2d9456481 /boil/library/TypeFactory.java | |
parent | 012298517078170762112abe2654dc69b2f146e1 (diff) |
Rearrange directory structure
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; - } -} |