1 /*
2  * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.  Oracle designates this
8  * particular file as subject to the "Classpath" exception as provided
9  * by Oracle in the LICENSE file that accompanied this code.
10  *
11  * This code is distributed in the hope that it will be useful, but WITHOUT
12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14  * version 2 for more details (a copy is included in the LICENSE file that
15  * accompanied this code).
16  *
17  * You should have received a copy of the GNU General Public License version
18  * 2 along with this work; if not, write to the Free Software Foundation,
19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20  *
21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22  * or visit www.oracle.com if you need additional information or have any
23  * questions.
24  */
25 
26 /*
27  * @test
28  * @bug 8177466 8189838
29  * @summary Add compiler support for local variable type-inference
30  * @modules jdk.compiler/com.sun.source.tree
31  *          jdk.compiler/com.sun.source.util
32  *          jdk.compiler/com.sun.tools.javac.api
33  *          jdk.compiler/com.sun.tools.javac.code
34  *          jdk.compiler/com.sun.tools.javac.util
35  * @build LocalVariableInferenceTester
36  * @run main LocalVariableInferenceTester NonDenotableTest.java
37  */
38 import java.util.List;
39 
40 class NonDenotableTest {
41 
42     static final String OBJECT = "java.lang.Object";
43     static final String STRING = "java.lang.String";
44     static final String ANON_OBJECT = "#ANON(java.lang.Object)";
45     static final String ANON_RUNNABLE = "#ANON(java.lang.Object,java.lang.Runnable)";
46     static final String LIST_EXT = "java.util.List<? extends java.lang.String>";
47     static final String LIST_SUP = "java.util.List<? super java.lang.String>";
48     static final String LIST_UNB = "java.util.List<?>";
49     static final String COMP_UNB = "java.lang.Comparable<?>";
50     static final String LIST_EXT_COMP_UNB = "java.util.List<? extends java.lang.Comparable<?>>";
51     static final String LIST_SUP_COMP_UNB = "java.util.List<? super java.lang.Comparable<?>>";
52     static final String INT_INTEGER_DOUBLE = "#INT(java.lang.Number,java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>>)";
53     static final String SEL_INT_ENUM_SEL = "NonDenotableTest.Selector<? extends #INT(java.lang.Enum<?>,NonDenotableTest.Selector<?>)>";
54 
testExtends()55     void testExtends() {
56         @InferredType(LIST_EXT)
57         var s = extString();
58         for (@InferredType(LIST_EXT) var s2 = extString() ; ; ) { break; }
59         for (@InferredType(LIST_EXT) var s2 : extStringArr()) { break; }
60         for (@InferredType(LIST_EXT) var s2 : extStringIter()) { break; }
61         for (@InferredType(STRING) var s2 : extString()) { break; }
62     }
63 
testExtendsFbound()64     void testExtendsFbound() {
65         @InferredType(LIST_EXT_COMP_UNB)
66         var s = extFbound();
67         for (@InferredType(LIST_EXT_COMP_UNB) var s2 = extFbound() ; ; ) { break; }
68         for (@InferredType(LIST_EXT_COMP_UNB) var s2 : extFboundArr()) { break; }
69         for (@InferredType(LIST_EXT_COMP_UNB) var s2 : extFboundIter()) { break; }
70         for (@InferredType(COMP_UNB) var s2 : extFbound()) { break; }
71     }
72 
testSuperFbound()73     void testSuperFbound() {
74         @InferredType(LIST_UNB)
75         var s = supFbound();
76         for (@InferredType(LIST_UNB) var s2 = supFbound() ; ; ) { break; }
77         for (@InferredType(LIST_UNB) var s2 : supFboundArr()) { break; }
78         for (@InferredType(LIST_UNB) var s2 : supFboundIter()) { break; }
79         for (@InferredType(OBJECT) var s2 : supFbound()) { break; }
80     }
81 
testSuper()82     void testSuper() {
83         @InferredType(LIST_SUP)
84         var s = supString();
85         for (@InferredType(LIST_SUP) var s2 = supString() ; ; ) { break; }
86         for (@InferredType(LIST_SUP) var s2 : supStringArr()) { break; }
87         for (@InferredType(LIST_SUP) var s2 : supStringIter()) { break; }
88         for (@InferredType(OBJECT) var s2 : supString()) { break; }
89     }
90 
testUnbound()91     void testUnbound() {
92         @InferredType(LIST_UNB)
93         var s = unbString();
94         for (@InferredType(LIST_UNB) var s2 = unbString() ; ; ) { break; }
95         for (@InferredType(LIST_UNB) var s2 : unbStringArr()) { break; }
96         for (@InferredType(LIST_UNB) var s2 : unbStringIter()) { break; }
97         for (@InferredType(OBJECT) var s2 : unbString()) { break; }
98     }
99 
testAnonymousClass()100     void testAnonymousClass() {
101         @InferredType(ANON_OBJECT)
102         var o = new Object() { };
103         for (@InferredType(ANON_OBJECT) var s2 = new Object() { } ; ; ) { break; }
104         for (@InferredType(ANON_OBJECT) var s2 : arrayOf(new Object() { })) { break; }
105         for (@InferredType(ANON_OBJECT) var s2 : listOf(new Object() { })) { break; }
106     }
107 
testAnonymousInterface()108     void testAnonymousInterface() {
109         @InferredType(ANON_RUNNABLE)
110         var r = new Runnable() { public void run() { } };
111         for (@InferredType(ANON_RUNNABLE) var s2 = new Runnable() { public void run() { } } ; ; ) { break; }
112         for (@InferredType(ANON_RUNNABLE) var s2 : arrayOf(new Runnable() { public void run() { } })) { break; }
113         for (@InferredType(ANON_RUNNABLE) var s2 : listOf(new Runnable() { public void run() { } })) { break; }
114     }
115 
testIntersection()116     void testIntersection() {
117         @InferredType(INT_INTEGER_DOUBLE)
118         var c = choose(1, 1L);
119         for (@InferredType(INT_INTEGER_DOUBLE) var s2 = choose(1, 1L) ; ;) { break; }
120         for (@InferredType(INT_INTEGER_DOUBLE) var s2 : arrayOf(choose(1, 1L))) { break; }
121         for (@InferredType(INT_INTEGER_DOUBLE) var s2 : listOf(choose(1, 1L))) { break; }
122     }
123 
testIntersection(Selector<?> s)124     void testIntersection(Selector<?> s) {
125         @InferredType(SEL_INT_ENUM_SEL)
126         var c = s;
127         for (@InferredType(SEL_INT_ENUM_SEL) var s2 = s ; ;) { break; }
128         for (@InferredType(SEL_INT_ENUM_SEL) var s2 : arrayOf(s)) { break; }
129         for (@InferredType(SEL_INT_ENUM_SEL) var s2 : listOf(s)) { break; }
130     }
131 
extString()132     List<? extends String> extString() { return null; }
supString()133     List<? super String> supString() { return null; }
unbString()134     List<?> unbString() { return null; }
135 
extStringArr()136     List<? extends String>[] extStringArr() { return null; }
supStringArr()137     List<? super String>[] supStringArr() { return null; }
unbStringArr()138     List<?>[] unbStringArr() { return null; }
139 
extStringIter()140     Iterable<? extends List<? extends String>> extStringIter() { return null; }
supStringIter()141     Iterable<? extends List<? super String>> supStringIter() { return null; }
unbStringIter()142     Iterable<? extends List<?>> unbStringIter() { return null; }
143 
extFbound()144     <Z extends Comparable<Z>> List<? extends Z> extFbound() { return null; }
supFbound()145     <Z extends Comparable<Z>> List<? super Z> supFbound() { return null; }
146 
extFboundArr()147     <Z extends Comparable<Z>> List<? extends Z>[] extFboundArr() { return null; }
supFboundArr()148     <Z extends Comparable<Z>> List<? super Z>[] supFboundArr() { return null; }
149 
extFboundIter()150     <Z extends Comparable<Z>> Iterable<? extends List<? extends Z>> extFboundIter() { return null; }
supFboundIter()151     <Z extends Comparable<Z>> Iterable<? extends List<? super Z>> supFboundIter() { return null; }
152 
listOf(Z z)153     <Z> List<Z> listOf(Z z) { return null; }
arrayOf(Z z)154     <Z> Z[] arrayOf(Z z) { return null; }
155 
choose(Z z1, Z z2)156     <Z> Z choose(Z z1, Z z2) { return z1; }
157 
158     interface Selector<E extends Enum<E> & Selector<E>> {}
159 }
160