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
|
/*
* @test /nodynamiccopyright/
* @summary Verify behavior of total patterns in instanceof
* @compile/fail/ref=InstanceofTotalPattern-15.out --release 15 -XDrawDiagnostics InstanceofTotalPattern.java
* @compile/fail/ref=InstanceofTotalPattern-16.out --release 16 -XDrawDiagnostics InstanceofTotalPattern.java
* @compile/fail/ref=InstanceofTotalPattern-20.out --release 20 -XDrawDiagnostics InstanceofTotalPattern.java
* @compile InstanceofTotalPattern.java
* @run main InstanceofTotalPattern
*/
public class InstanceofTotalPattern {
public static void main(String[] args) {
new InstanceofTotalPattern().totalTest();
}
void totalTest() {
String str = "";
if (!(str instanceof String s1)) {
throw new AssertionError();
}
str = null;
if (str instanceof String s2) {
throw new AssertionError();
}
}
}
|
