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
89
90
|
/*
* @test /nodynamiccopyright/
* @bug 8354556
* @summary Expand value-based class warnings to java.lang.ref API
* @compile --patch-module java.base=${test.src} RequiresIdentityHelper.java
* @compile/fail/ref=RequiresIdentityTest.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:identity RequiresIdentityTest.java
* @compile/fail/ref=RequiresIdentityTest.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:synchronization RequiresIdentityTest.java
* @compile/ref=RequiresIdentityTest2.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:-identity RequiresIdentityTest.java
* @compile/ref=RequiresIdentityTest2.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:-synchronization RequiresIdentityTest.java
* @compile/fail/ref=RequiresIdentityTest.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:identity RequiresIdentityHelper.java RequiresIdentityTest.java
* @compile/fail/ref=RequiresIdentityTest.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:synchronization RequiresIdentityHelper.java RequiresIdentityTest.java
* @compile/ref=RequiresIdentityTest2.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:-identity RequiresIdentityHelper.java RequiresIdentityTest.java
* @compile/ref=RequiresIdentityTest2.out --patch-module java.base=${test.src} -Werror -XDrawDiagnostics -Xlint:-synchronization RequiresIdentityHelper.java RequiresIdentityTest.java
*/
package java.lang;
@SuppressWarnings("deprecation")
public class RequiresIdentityTest extends RequiresIdentityHelper<Integer> // should warn
implements RequiresIdentityHelper.RequiresIdentityInt<Integer> { // should warn
class Box<T> {}
RequiresIdentityHelper<Integer> field; // should warn
RequiresIdentityHelper<Integer>[] field2; // should warn
Box<? extends RequiresIdentityHelper<Integer>> field3; // should warn
Box<? super RequiresIdentityHelper<Integer>> field4; // should warn
RequiresIdentityHelper<Integer> field5 = new RequiresIdentityHelper<Integer>(); // two warnings here
public RequiresIdentityTest() {}
public RequiresIdentityTest(Integer i) {
super(i); // should warn
}
void test(RequiresIdentity2<Object> ri, Integer i) { // warn on the first argument due to its enclosing type: RequiresIdentityHelper<Integer>
RequiresIdentityHelper<Integer> localVar; // should warn
RequiresIdentityHelper<Integer>[] localVar2; // should warn
// there should be warnings for the invocations below
ri.foo(i);
ri.bar(i, // warn here
i); // and here too
ri.gg(i);
}
interface I extends RequiresIdentityHelper.RequiresIdentityInt<Integer> {} // should warn
void m(Object o) {
RequiresIdentityHelper<?> ri = (RequiresIdentityHelper<Integer>) o; // should warn
}
RequiresIdentityHelper<Integer> test() { // warn
return null;
}
// two warns here one for the type parameter and one for the result type
<T extends RequiresIdentityHelper<Integer>> T test2() { return null; }
class SomeClass<T extends RequiresIdentityHelper<Integer>> {} // warn
record R(RequiresIdentityHelper<Integer> c) {} // warn
record RR(R r) {}
void m1(RequiresIdentityInt<Integer> ri) { // warn here
if (ri instanceof RequiresIdentityInt<Integer> rii) {} // and here
}
void m2(RR rr) {
if (rr instanceof RR(R(RequiresIdentityHelper<Integer> rii))) {}
}
<T> void m3() {}
void m4() {
this.<RequiresIdentityHelper<Integer>>m3();
}
MyIntFunction<Integer> field6 = Integer::new; // two warnings here
class Run<T> {
public <@jdk.internal.RequiresIdentity K> void run() {}
}
void m5(Runnable r) {}
void m6() {
m5(new Run<Object>()::<Integer>run);
}
void m7(Integer i, Object o) {
RequiresIdentityHelper<Object> var1 = new <Object>RequiresIdentityHelper<Object>(i);
RequiresIdentityHelper<Object> var2 = new <Integer>RequiresIdentityHelper<Object>(o);
RequiresIdentityHelper<Integer> var3 = new <Object>RequiresIdentityHelper<Integer>(o);
}
}
|
