package boil; 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; } }