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.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24 /*
25 * @test
26 * @summary Test of method selection and resolution cases that
27 * generate InvokeSpecialSuccessTest
28 * @library /runtime/SelectionResolution/classes
29 * @build selectionresolution.*
30 * @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:-VerifyDependencies InvokeSpecialSuccessTest
31 */
32
33 import java.util.Arrays;
34 import java.util.Collection;
35 import java.util.EnumSet;
36 import selectionresolution.ClassData;
37 import selectionresolution.MethodData;
38 import selectionresolution.SelectionResolutionTest;
39 import selectionresolution.SelectionResolutionTestCase;
40 import selectionresolution.Template;
41
42 public class InvokeSpecialSuccessTest extends SelectionResolutionTest {
43
44 private static final SelectionResolutionTestCase.Builder initBuilder =
45 new SelectionResolutionTestCase.Builder();
46
47 static {
48 initBuilder.invoke = SelectionResolutionTestCase.InvokeInstruction.INVOKESPECIAL;
49 }
50
51 private static final Collection<TestGroup> testgroups =
52 Arrays.asList(
53 /* Group 46: callsite = methodref = expected */
54 new TestGroup.Simple(initBuilder,
55 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
56 EnumSet.of(MethodData.Access.PUBLIC,
57 MethodData.Access.PACKAGE,
58 MethodData.Access.PROTECTED,
59 MethodData.Access.PRIVATE),
60 EnumSet.of(MethodData.Context.INSTANCE),
61 EnumSet.of(ClassData.Package.SAME)),
62 Template.OverrideAbstractExpectedClass,
63 Template.MethodrefEqualsExpected,
64 Template.IgnoredAbstract,
65 Template.CallsiteEqualsMethodref,
66 Template.ObjectrefAssignableToCallsite),
67 /* Group 47: callsite = methodref, methodref != expected,
68 * expected is class, expected and callsite in the same package
69 */
70 new TestGroup.Simple(initBuilder,
71 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
72 EnumSet.of(MethodData.Access.PUBLIC,
73 MethodData.Access.PACKAGE,
74 MethodData.Access.PROTECTED),
75 EnumSet.of(MethodData.Context.INSTANCE),
76 EnumSet.of(ClassData.Package.SAME)),
77 Template.OverrideAbstractExpectedClass,
78 Template.MethodrefNotEqualsExpectedClass,
79 Template.IgnoredAbstract,
80 Template.CallsiteEqualsMethodref,
81 Template.ObjectrefAssignableToCallsite),
82 /* Group 48: callsite = methodref, methodref != expected,
83 * expected is interface, expected and callsite in the same package
84 */
85 new TestGroup.Simple(initBuilder,
86 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
87 EnumSet.of(MethodData.Access.PUBLIC),
88 EnumSet.of(MethodData.Context.INSTANCE),
89 EnumSet.of(ClassData.Package.SAME)),
90 Template.OverrideAbstractExpectedIface,
91 Template.MethodrefNotEqualsExpectedIface,
92 Template.IgnoredAbstract,
93 Template.CallsiteEqualsMethodref,
94 Template.ObjectrefAssignableToCallsite),
95 /* Group 49: callsite :> methodref, methodref = expected,
96 * expected is class, expected and callsite in the same package
97 */
98 new TestGroup.Simple(initBuilder,
99 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
100 EnumSet.of(MethodData.Access.PUBLIC,
101 MethodData.Access.PACKAGE,
102 MethodData.Access.PROTECTED),
103 EnumSet.of(MethodData.Context.INSTANCE),
104 EnumSet.of(ClassData.Package.SAME)),
105 Template.OverrideAbstractExpectedClass,
106 Template.MethodrefEqualsExpected,
107 Template.IgnoredAbstract,
108 Template.CallsiteSubclassMethodref,
109 Template.ObjectrefAssignableToCallsite),
110 /* Group 50: callsite :> methodref, methodref != expected,
111 * expected is class, expected and callsite in the same package
112 */
113 new TestGroup.Simple(initBuilder,
114 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
115 EnumSet.of(MethodData.Access.PUBLIC,
116 MethodData.Access.PACKAGE,
117 MethodData.Access.PROTECTED),
118 EnumSet.of(MethodData.Context.INSTANCE),
119 EnumSet.of(ClassData.Package.SAME)),
120 Template.OverrideAbstractExpectedClass,
121 Template.MethodrefNotEqualsExpectedClass,
122 Template.IgnoredAbstract,
123 Template.CallsiteSubclassMethodref,
124 Template.ObjectrefAssignableToCallsite),
125 /* Group 51: callsite :> methodref, methodref != expected,
126 * expected is interface, expected and callsite in the same package
127 */
128 new TestGroup.Simple(initBuilder,
129 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
130 EnumSet.of(MethodData.Access.PUBLIC),
131 EnumSet.of(MethodData.Context.INSTANCE),
132 EnumSet.of(ClassData.Package.SAME)),
133 Template.OverrideAbstractExpectedIface,
134 Template.MethodrefNotEqualsExpectedIface,
135 Template.IgnoredAbstract,
136 Template.CallsiteSubclassMethodref,
137 Template.ObjectrefAssignableToCallsite),
138 /* Group 52: callsite = methodref, methodref != expected,
139 * expected is class, expected and callsite not in the same package
140 */
141 new TestGroup.Simple(initBuilder,
142 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
143 EnumSet.of(MethodData.Access.PUBLIC,
144 MethodData.Access.PROTECTED),
145 EnumSet.of(MethodData.Context.INSTANCE),
146 EnumSet.of(ClassData.Package.DIFFERENT)),
147 Template.OverrideAbstractExpectedClass,
148 Template.MethodrefNotEqualsExpectedClass,
149 Template.IgnoredAbstract,
150 Template.CallsiteEqualsMethodref,
151 Template.ObjectrefAssignableToCallsite),
152 /* Group 53: callsite = methodref, methodref != expected,
153 * expected is interface, expected and callsite not in the same package
154 */
155 new TestGroup.Simple(initBuilder,
156 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
157 EnumSet.of(MethodData.Access.PUBLIC),
158 EnumSet.of(MethodData.Context.INSTANCE),
159 EnumSet.of(ClassData.Package.DIFFERENT)),
160 Template.OverrideAbstractExpectedIface,
161 Template.MethodrefNotEqualsExpectedIface,
162 Template.IgnoredAbstract,
163 Template.CallsiteEqualsMethodref,
164 Template.ObjectrefAssignableToCallsite),
165 /* Group 54: callsite :> methodref, methodref = expected,
166 * expected is class, expected and callsite not in the same package
167 */
168 new TestGroup.Simple(initBuilder,
169 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
170 EnumSet.of(MethodData.Access.PUBLIC,
171 MethodData.Access.PROTECTED),
172 EnumSet.of(MethodData.Context.INSTANCE),
173 EnumSet.of(ClassData.Package.DIFFERENT)),
174 Template.OverrideAbstractExpectedClass,
175 Template.MethodrefEqualsExpected,
176 Template.IgnoredAbstract,
177 Template.CallsiteSubclassMethodref,
178 Template.ObjectrefAssignableToCallsite),
179
180 /* Group 55: callsite :> methodref, methodref != expected,
181 * expected is class, expected and callsite not in the same package
182 */
183 new TestGroup.Simple(initBuilder,
184 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
185 EnumSet.of(MethodData.Access.PUBLIC,
186 MethodData.Access.PROTECTED),
187 EnumSet.of(MethodData.Context.INSTANCE),
188 EnumSet.of(ClassData.Package.DIFFERENT)),
189 Template.OverrideAbstractExpectedClass,
190 Template.MethodrefNotEqualsExpectedClass,
191 Template.IgnoredAbstract,
192 Template.CallsiteSubclassMethodref,
193 Template.ObjectrefAssignableToCallsite),
194 /* Group 56: callsite :> methodref, methodref != expected,
195 * expected is interface, expected and callsite not in the same package
196 */
197 new TestGroup.Simple(initBuilder,
198 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
199 EnumSet.of(MethodData.Access.PUBLIC),
200 EnumSet.of(MethodData.Context.INSTANCE),
201 EnumSet.of(ClassData.Package.DIFFERENT)),
202 Template.OverrideAbstractExpectedIface,
203 Template.MethodrefNotEqualsExpectedIface,
204 Template.IgnoredAbstract,
205 Template.CallsiteSubclassMethodref,
206 Template.ObjectrefAssignableToCallsite),
207
208 /* Funny cases */
209 /* Group 57: callsite = methodref, methodref =
210 * expected expected is interface, expected and
211 * callsite in a different package
212 */
213 new TestGroup.Simple(initBuilder,
214 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
215 EnumSet.of(MethodData.Access.PROTECTED),
216 EnumSet.of(MethodData.Context.INSTANCE),
217 EnumSet.of(ClassData.Package.DIFFERENT)),
218 Template.OverrideAbstractExpectedClass,
219 Template.MethodrefEqualsExpected,
220 Template.IgnoredAbstract,
221 Template.CallsiteEqualsMethodref,
222 Template.ObjectrefEqualsOrExactSubclassOfCallsite),
223 /* Group 58: callsite = methodref, methodref \!=
224 * expected expected is interface, expected and
225 * callsite in a different package */
226 new TestGroup.Simple(initBuilder,
227 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
228 EnumSet.of(MethodData.Access.PROTECTED),
229 EnumSet.of(MethodData.Context.INSTANCE),
230 EnumSet.of(ClassData.Package.DIFFERENT)),
231 Template.MethodrefNotEqualsExpectedClass,
232 Template.IgnoredAbstract,
233 Template.CallsiteEqualsMethodref,
234 Template.ObjectrefEqualsOrExactSubclassOfCallsite),
235 /* Group 59: callsite subclass methodref, methodref =
236 * expected expected is interface, expected and
237 * callsite in a different package */
238 new TestGroup.Simple(initBuilder,
239 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
240 EnumSet.of(MethodData.Access.PROTECTED),
241 EnumSet.of(MethodData.Context.INSTANCE),
242 EnumSet.of(ClassData.Package.DIFFERENT)),
243 Template.OverrideAbstractExpectedClass,
244 Template.MethodrefEqualsExpected,
245 Template.IgnoredAbstract,
246 Template.CallsiteSubclassMethodref,
247 Template.ObjectrefEqualsOrExactSubclassOfCallsite),
248 /* Group 60: callsite subclass methodref, methodref
249 * \!= expected expected is interface, expected and
250 * callsite in a different package */
251 new TestGroup.Simple(initBuilder,
252 Template.ResultCombo(EnumSet.of(Template.Kind.CLASS),
253 EnumSet.of(MethodData.Access.PROTECTED),
254 EnumSet.of(MethodData.Context.INSTANCE),
255 EnumSet.of(ClassData.Package.DIFFERENT)),
256 Template.OverrideAbstractExpectedClass,
257 Template.MethodrefNotEqualsExpectedClass,
258 Template.IgnoredAbstract,
259 Template.CallsiteSubclassMethodref,
260 Template.ObjectrefEqualsOrExactSubclassOfCallsite),
261
262 /* Methodref is an interface */
263 /* Group 61: callsite :> methodref, methodref = expected,
264 * expected is interface, expected and callsite in the same package
265 */
266 new TestGroup.Simple(initBuilder,
267 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
268 EnumSet.of(MethodData.Access.PUBLIC),
269 EnumSet.of(MethodData.Context.INSTANCE),
270 EnumSet.of(ClassData.Package.SAME,
271 ClassData.Package.DIFFERENT)),
272 Template.OverrideAbstractExpectedIface,
273 Template.MethodrefEqualsExpected,
274 Template.IgnoredAbstract,
275 Template.CallsiteSubclassMethodref,
276 Template.ObjectrefAssignableToCallsite),
277 /* Group 62: callsite :> methodref, methodref != expected,
278 * expected is interface, expected and callsite in the same package
279 */
280 new TestGroup.Simple(initBuilder,
281 Template.ResultCombo(EnumSet.of(Template.Kind.INTERFACE),
282 EnumSet.of(MethodData.Access.PUBLIC),
283 EnumSet.of(MethodData.Context.INSTANCE),
284 EnumSet.of(ClassData.Package.SAME,
285 ClassData.Package.DIFFERENT)),
286 Template.OverrideAbstractExpectedIface,
287 Template.IfaceMethodrefNotEqualsExpected,
288 Template.IgnoredAbstract,
289 Template.CallsiteSubclassMethodref,
290 Template.ObjectrefAssignableToCallsite)
291 );
292
293 private InvokeSpecialSuccessTest() {
294 super(testgroups);
295 }
296
297 public static void main(final String... args) {
298 new InvokeSpecialSuccessTest().run();
299 }
300 }