blob: 224d8a3b5bd182694ad7988b7187f594f507ff19 (
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
|
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;
}
}
|