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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import testlib.util.*;
class Poly {
void test() {
@Encrypted String s = encrypt("as0d78f9(*#4j");
String t = "foo";
@Encrypted String x1 = id(s); // valid
// :: error: (assignment.type.incompatible)
@Encrypted String x2 = id(t); // error
String x3 = id(s); // valid
String x4 = id(t); // valid
@Encrypted String y01 = combine(s, s); // valid
// :: error: (assignment.type.incompatible)
@Encrypted String y02 = combine(s, t); // error
// :: error: (assignment.type.incompatible)
@Encrypted String y03 = combine(t, t); // error
String y11 = combine(s, s); // valid
String y12 = combine(s, t); // valid
String y13 = combine(t, t); // valid
}
@PolyEncrypted String id(@PolyEncrypted String s) {
return s;
}
@PolyEncrypted String combine(@PolyEncrypted String s, @PolyEncrypted String t) {
// :: error: (argument.type.incompatible)
sendOverNet(s); // error
return s;
}
void sendOverNet(@Encrypted String msg) {}
List<@PolyEncrypted String> duplicate(@PolyEncrypted String s) {
return null;
}
@PolyEncrypted String[] duplicateAsArray(@PolyEncrypted String s) {
return null;
}
void test2() {
@Encrypted String s = encrypt("p9aS*7dfa0w9e84r");
List<@Encrypted String> lst = duplicate(s);
@Encrypted String[] arr = duplicateAsArray(s);
}
@PolyEncrypted String substitute(Map<String, ? extends @PolyEncrypted String> map) {
return encrypt(null);
}
@PolyEncrypted String substituteSuper(Map<String, ? super @PolyEncrypted String> map) {
return encrypt(null);
}
void test3() {
// :: error: (assignment.type.incompatible)
@Encrypted String s = substitute(new HashMap<String, String>());
@Encrypted String t = substitute(new HashMap<String, @Encrypted String>());
// :: error: (assignment.type.incompatible)
@Encrypted String q = substituteSuper(new HashMap<String, String>());
@Encrypted String r = substituteSuper(new HashMap<String, @Encrypted String>());
}
// Test assignment to poly
@PolyEncrypted String test4(@PolyEncrypted String s) {
if (s == null) {
return encrypt(null); // valid
} else {
// :: error: (return.type.incompatible)
return "m"; // invalid
}
}
@SuppressWarnings("encrypted")
static @Encrypted String encrypt(String s) {
return (@Encrypted String) s;
}
}
|
