blob: 93966f0c1abe5ff2f24af9c353128a6ae37a363e (
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
|
package boil.library;
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++);
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;
}
}
|