blob: d5b61f30797cb69eae2f4b282a3b418bed220062 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
package boil;
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;
}
}
|