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
|
import java.util.HashMap;
import java.util.Map;
import org.checkerframework.checker.interning.qual.*;
public class StaticInternMethod {
private static Map<Integer, @Interned Foo> pool = new HashMap<>();
@SuppressWarnings("interning")
public static @Interned Foo intern(Integer i) {
if (pool.containsKey(i)) {
return pool.get(i);
}
@Interned Foo f = new @Interned Foo(i);
pool.put(i, f);
return f;
}
static class Foo {
public Foo(Integer i) {}
}
void test() {
Integer i = 0;
Foo f = new Foo(i);
@Interned Foo g = intern(i);
}
}
|
