truffle: graal/com.oracle.graal.api.meta.test/src/com/oracle/graal/api/meta/test/TestResolvedJavaType.java annotate

annotate graal/com.oracle.graal.api.meta.test/src/com/oracle/graal/api/meta/test/TestResolvedJavaType.java @ 21538:c1e2fdb5fea3

removed more dependencies from JVMCI classes to non-JVMCI classes (JBS:GRAAL-53)

author	Doug Simon <doug.simon@oracle.com>
date	Mon, 25 May 2015 17:20:39 +0200
parents	652194a6414f
children	78f0792aa890

rev	line source
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	1 /*
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18183 diff changeset	2 * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved.
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	4 *
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	8 *
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	13 * accompanied this code).
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	14 *
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	18 *
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	21 * questions.
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	22 */
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	23 package com.oracle.graal.api.meta.test;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	24
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	25 import static java.lang.reflect.Modifier.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	26 import static org.junit.Assert.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	27
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	28 import java.lang.annotation.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	29 import java.lang.reflect.*;
7831 fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	30 import java.net.*;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	31 import java.util.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	32
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	33 import org.junit.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	34
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	35 import sun.reflect.ConstantPool;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	36
21538 c1e2fdb5fea3 removed more dependencies from JVMCI classes to non-JVMCI classes (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 20811 diff changeset	37 import com.oracle.graal.api.meta.Assumptions.AssumptionResult;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	38 import com.oracle.graal.api.meta.*;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	39
7043 947de43c68d6 improved documentation for ResolvedJavaType.findUniqueConcreteSubtype() Doug Simon <doug.simon@oracle.com> parents: 7037 diff changeset	40 /**
947de43c68d6 improved documentation for ResolvedJavaType.findUniqueConcreteSubtype() Doug Simon <doug.simon@oracle.com> parents: 7037 diff changeset	41 * Tests for {@link ResolvedJavaType}.
947de43c68d6 improved documentation for ResolvedJavaType.findUniqueConcreteSubtype() Doug Simon <doug.simon@oracle.com> parents: 7037 diff changeset	42 */
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	43 public class TestResolvedJavaType extends TypeUniverse {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	44
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	45 public TestResolvedJavaType() {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	46 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	47
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	48 @Test
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	49 public void findInstanceFieldWithOffsetTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	50 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	51 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	52 Set<Field> reflectionFields = getInstanceFields(c, true);
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	53 for (Field f : reflectionFields) {
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	54 ResolvedJavaField rf = lookupField(type.getInstanceFields(true), f);
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	55 assertNotNull(rf);
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	56 long offset = isStatic(f.getModifiers()) ? unsafe.staticFieldOffset(f) : unsafe.objectFieldOffset(f);
18950 3fc907b46313 [SPARC] Fix Partial Escape Analysis for SPARC in Truffle Stefan Anzinger <stefan.anzinger@oracle.com> parents: 18694 diff changeset	57 ResolvedJavaField result = type.findInstanceFieldWithOffset(offset, rf.getKind());
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	58 assertNotNull(result);
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	59 assertTrue(fieldsEqual(f, result));
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	60 }
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	61 }
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	62 }
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	63
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	64 @Test
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	65 public void isInterfaceTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	66 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	67 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	68 boolean expected = c.isInterface();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	69 boolean actual = type.isInterface();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	70 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	71 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	72 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	73
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	74 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	75 public void isInstanceClassTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	76 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	77 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	78 boolean expected = !c.isArray() && !c.isPrimitive() && !c.isInterface();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	79 boolean actual = type.isInstanceClass();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	80 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	81 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	82 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	83
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	84 @Test
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	85 public void isArrayTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	86 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	87 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	88 boolean expected = c.isArray();
7060 06d5f450f32b rename: ResolvedJavaType.isArrayClass() -> ResolvedJavaType.isArray() Doug Simon <doug.simon@oracle.com> parents: 7057 diff changeset	89 boolean actual = type.isArray();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	90 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	91 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	92 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	93
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	94 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	95 public void getModifiersTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	96 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	97 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	98 int expected = c.getModifiers();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	99 int actual = type.getModifiers();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	100 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	101 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	102 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	103
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	104 @Test
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	105 public void isAssignableFromTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	106 Class<?>[] all = classes.toArray(new Class[classes.size()]);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	107 for (int i = 0; i < all.length; i++) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	108 Class<?> c1 = all[i];
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	109 for (int j = i; j < all.length; j++) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	110 Class<?> c2 = all[j];
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	111 ResolvedJavaType t1 = metaAccess.lookupJavaType(c1);
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	112 ResolvedJavaType t2 = metaAccess.lookupJavaType(c2);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	113 boolean expected = c1.isAssignableFrom(c2);
7097 6644cecbd3a7 Replace ResolvedJavaType.isAssignableTo with isAssignableFrom to be consistent with java.lang.Class Christian Wimmer <christian.wimmer@oracle.com> parents: 7096 diff changeset	114 boolean actual = t1.isAssignableFrom(t2);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	115 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	116 if (expected && t1 != t2) {
7097 6644cecbd3a7 Replace ResolvedJavaType.isAssignableTo with isAssignableFrom to be consistent with java.lang.Class Christian Wimmer <christian.wimmer@oracle.com> parents: 7096 diff changeset	117 assertFalse(t2.isAssignableFrom(t1));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	118 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	119 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	120 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	121 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	122
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	123 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	124 public void isInstanceTest() {
18187 9619ba4daf4c Rename Constant to JavaConstant. Roland Schatz <roland.schatz@oracle.com> parents: 18183 diff changeset	125 for (JavaConstant c : constants) {
7098 e23980f4a890 Cleanup of Kind class: remove isXxx methods Christian Wimmer <christian.wimmer@oracle.com> parents: 7097 diff changeset	126 if (c.getKind() == Kind.Object && !c.isNull()) {
18533 25a21e1794ec modified SnippetReflectionProvider to support both VM-side and compiler-side constants in a compilation replay context Doug Simon <doug.simon@oracle.com> parents: 18361 diff changeset	127 Object o = snippetReflection.asObject(Object.class, c);
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	128 Class<? extends Object> cls = o.getClass();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	129 while (cls != null) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	130 ResolvedJavaType type = metaAccess.lookupJavaType(cls);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	131 boolean expected = cls.isInstance(o);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	132 boolean actual = type.isInstance(c);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	133 assertEquals(expected, actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	134 cls = cls.getSuperclass();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	135 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	136 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	137 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	138 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	139
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	140 private static Class<?> asExactClass(Class<?> c) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	141 if (c.isArray()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	142 if (asExactClass(c.getComponentType()) != null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	143 return c;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	144 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	145 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	146 if (c.isPrimitive() \|\| Modifier.isFinal(c.getModifiers())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	147 return c;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	148 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	149 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	150 return null;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	151 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	152
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	153 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	154 public void asExactTypeTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	155 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	156 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	157 ResolvedJavaType exactType = type.asExactType();
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	158 Class<?> expected = asExactClass(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	159 if (expected == null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	160 assertTrue("exact(" + c.getName() + ") != null", exactType == null);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	161 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	162 assertNotNull(exactType);
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	163 assertTrue(exactType.equals(metaAccess.lookupJavaType(expected)));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	164 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	165 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	166 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	167
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	168 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	169 public void getSuperclassTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	170 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	171 ResolvedJavaType type = metaAccess.lookupJavaType(c);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	172 Class<?> expected = c.getSuperclass();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	173 ResolvedJavaType actual = type.getSuperclass();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	174 if (expected == null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	175 assertTrue(actual == null);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	176 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	177 assertNotNull(actual);
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	178 assertTrue(actual.equals(metaAccess.lookupJavaType(expected)));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	179 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	180 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	181 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	182
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	183 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	184 public void getInterfacesTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	185 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	186 ResolvedJavaType type = metaAccess.lookupJavaType(c);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	187 Class<?>[] expected = c.getInterfaces();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	188 ResolvedJavaType[] actual = type.getInterfaces();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	189 assertEquals(expected.length, actual.length);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	190 for (int i = 0; i < expected.length; i++) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	191 assertTrue(actual[i].equals(metaAccess.lookupJavaType(expected[i])));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	192 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	193 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	194 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	195
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	196 public Class<?> getSupertype(Class<?> c) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	197 assert !c.isPrimitive();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	198 if (c.isArray()) {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	199 Class<?> componentType = c.getComponentType();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	200 if (componentType.isPrimitive() \|\| componentType == Object.class) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	201 return Object.class;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	202 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	203 return getArrayClass(getSupertype(componentType));
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	204 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	205 if (c.isInterface()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	206 return Object.class;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	207 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	208 return c.getSuperclass();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	209 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	210
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	211 public Class<?> findLeastCommonAncestor(Class<?> c1Initial, Class<?> c2Initial) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	212 if (c1Initial.isPrimitive() \|\| c2Initial.isPrimitive()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	213 return null;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	214 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	215 Class<?> c1 = c1Initial;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	216 Class<?> c2 = c2Initial;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	217 while (true) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	218 if (c1.isAssignableFrom(c2)) {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	219 return c1;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	220 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	221 if (c2.isAssignableFrom(c1)) {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	222 return c2;
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	223 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	224 c1 = getSupertype(c1);
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	225 c2 = getSupertype(c2);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	226 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	227 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	228 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	229
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	230 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	231 public void findLeastCommonAncestorTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	232 Class<?>[] all = classes.toArray(new Class[classes.size()]);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	233 for (int i = 0; i < all.length; i++) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	234 Class<?> c1 = all[i];
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	235 for (int j = i; j < all.length; j++) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	236 Class<?> c2 = all[j];
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	237 ResolvedJavaType t1 = metaAccess.lookupJavaType(c1);
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	238 ResolvedJavaType t2 = metaAccess.lookupJavaType(c2);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	239 Class<?> expected = findLeastCommonAncestor(c1, c2);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	240 ResolvedJavaType actual = t1.findLeastCommonAncestor(t2);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	241 if (expected == null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	242 assertTrue(actual == null);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	243 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	244 assertNotNull(actual);
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	245 assertTrue(actual.equals(metaAccess.lookupJavaType(expected)));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	246 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	247 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	248 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	249 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	250
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	251 private static class Base {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	252 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	253
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	254 abstract static class Abstract1 extends Base {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	255 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	256
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	257 interface Interface1 {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	258 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	259
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	260 static class Concrete1 extends Abstract1 {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	261 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	262
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	263 static class Concrete2 extends Abstract1 implements Interface1 {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	264 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	265
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	266 static class Concrete3 extends Concrete2 {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	267 }
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	268
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	269 static final class Final1 extends Abstract1 {
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	270 }
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	271
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	272 abstract static class Abstract4 extends Concrete3 {
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	273 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	274
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	275 void checkConcreteSubtype(ResolvedJavaType type, ResolvedJavaType expected) {
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	276 AssumptionResult<ResolvedJavaType> leafConcreteSubtype = type.findLeafConcreteSubtype();
deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	277 if (leafConcreteSubtype == null) {
deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	278 // findLeafConcreteSubtype() is conservative
7045 7ac6e4c10e37 bug fix for HotSpotReslvedJavaType.findUniqueConcreteSubtype() on arrays of interfaces Doug Simon <doug.simon@oracle.com> parents: 7044 diff changeset	279 } else {
7ac6e4c10e37 bug fix for HotSpotReslvedJavaType.findUniqueConcreteSubtype() on arrays of interfaces Doug Simon <doug.simon@oracle.com> parents: 7044 diff changeset	280 if (expected == null) {
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	281 assertNull(leafConcreteSubtype);
7045 7ac6e4c10e37 bug fix for HotSpotReslvedJavaType.findUniqueConcreteSubtype() on arrays of interfaces Doug Simon <doug.simon@oracle.com> parents: 7044 diff changeset	282 } else {
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	283 assertTrue(leafConcreteSubtype.getResult().equals(expected));
7045 7ac6e4c10e37 bug fix for HotSpotReslvedJavaType.findUniqueConcreteSubtype() on arrays of interfaces Doug Simon <doug.simon@oracle.com> parents: 7044 diff changeset	284 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	285 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	286
7060 06d5f450f32b rename: ResolvedJavaType.isArrayClass() -> ResolvedJavaType.isArray() Doug Simon <doug.simon@oracle.com> parents: 7057 diff changeset	287 if (!type.isArray()) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	288 ResolvedJavaType arrayType = type.getArrayClass();
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	289 AssumptionResult<ResolvedJavaType> arraySubtype = arrayType.findLeafConcreteSubtype();
7043 947de43c68d6 improved documentation for ResolvedJavaType.findUniqueConcreteSubtype() Doug Simon <doug.simon@oracle.com> parents: 7037 diff changeset	290 if (arraySubtype != null) {
19795 3362ba500371 Connect required Assumptions with answer to CHA query Tom Rodriguez <tom.rodriguez@oracle.com> parents: 18950 diff changeset	291 assertEquals(arraySubtype.getResult(), arrayType);
7045 7ac6e4c10e37 bug fix for HotSpotReslvedJavaType.findUniqueConcreteSubtype() on arrays of interfaces Doug Simon <doug.simon@oracle.com> parents: 7044 diff changeset	292 } else {
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	293 // findLeafConcreteSubtype() method is conservative
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	294 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	295 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	296 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	297
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	298 @Test
19796 deab43a789ad Split LeafType off from ConcreteSubtype Tom Rodriguez <tom.rodriguez@oracle.com> parents: 19795 diff changeset	299 public void findLeafConcreteSubtypeTest() {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	300 ResolvedJavaType base = metaAccess.lookupJavaType(Base.class);
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	301 checkConcreteSubtype(base, base);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	302
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	303 ResolvedJavaType a1 = metaAccess.lookupJavaType(Abstract1.class);
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	304 ResolvedJavaType c1 = metaAccess.lookupJavaType(Concrete1.class);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	305
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	306 checkConcreteSubtype(base, null);
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	307 checkConcreteSubtype(a1, c1);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	308 checkConcreteSubtype(c1, c1);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	309
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	310 ResolvedJavaType i1 = metaAccess.lookupJavaType(Interface1.class);
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	311 ResolvedJavaType c2 = metaAccess.lookupJavaType(Concrete2.class);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	312
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	313 checkConcreteSubtype(base, null);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	314 checkConcreteSubtype(a1, null);
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	315 checkConcreteSubtype(c1, c1);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	316 checkConcreteSubtype(i1, c2);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	317 checkConcreteSubtype(c2, c2);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	318
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	319 ResolvedJavaType c3 = metaAccess.lookupJavaType(Concrete3.class);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	320 checkConcreteSubtype(c2, null);
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	321 checkConcreteSubtype(c3, c3);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	322
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	323 ResolvedJavaType a4 = metaAccess.lookupJavaType(Abstract4.class);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	324 checkConcreteSubtype(c3, null);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	325 checkConcreteSubtype(a4, null);
15729 59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	326
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	327 ResolvedJavaType a1a = metaAccess.lookupJavaType(Abstract1[].class);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	328 checkConcreteSubtype(a1a, null);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	329 ResolvedJavaType c1a = metaAccess.lookupJavaType(Concrete1[].class);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	330 checkConcreteSubtype(c1a, null);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	331 ResolvedJavaType f1a = metaAccess.lookupJavaType(Final1[].class);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	332 checkConcreteSubtype(f1a, f1a);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	333
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	334 ResolvedJavaType obja = metaAccess.lookupJavaType(Object[].class);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	335 checkConcreteSubtype(obja, null);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	336
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	337 ResolvedJavaType inta = metaAccess.lookupJavaType(int[].class);
59a85df7a418 Add some assertions and tests to TestResolvedJavaType.findUniqueConcreteSubtypeTest Gilles Duboscq <duboscq@ssw.jku.at> parents: 15722 diff changeset	338 checkConcreteSubtype(inta, inta);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	339 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	340
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	341 interface NoImplementor {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	342 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	343
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	344 interface SingleImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	345 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	346
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	347 static class SingleConcreteImplementor implements SingleImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	348 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	349
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	350 interface SingleAbstractImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	351 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	352
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	353 abstract static class SingleAbstractImplementor implements SingleAbstractImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	354 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	355
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	356 interface MultiImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	357 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	358
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	359 static class ConcreteImplementor1 implements MultiImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	360 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	361
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	362 static class ConcreteImplementor2 implements MultiImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	363 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	364
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	365 interface MultipleAbstractImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	366 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	367
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	368 abstract static class MultiAbstractImplementor1 implements MultipleAbstractImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	369 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	370
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	371 abstract static class MultiAbstractImplementor2 implements MultipleAbstractImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	372 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	373
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	374 interface SingleAbstractImplementorInterface2 {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	375 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	376
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	377 interface ExtendedSingleImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	378 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	379
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	380 abstract static class SingleAbstractImplementor2 implements SingleAbstractImplementorInterface2 {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	381 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	382
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	383 static class ConcreteTransitiveImplementor1 extends SingleAbstractImplementor2 implements ExtendedSingleImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	384 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	385
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	386 static class ConcreteTransitiveImplementor2 extends SingleAbstractImplementor2 implements ExtendedSingleImplementorInterface {
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	387 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	388
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	389 @Test
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	390 public void getSingleImplementorTest() {
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	391 ResolvedJavaType iNi = metaAccess.lookupJavaType(NoImplementor.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	392 assertNull(iNi.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	393
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	394 ResolvedJavaType iSi = metaAccess.lookupJavaType(SingleImplementorInterface.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	395 ResolvedJavaType cSi = metaAccess.lookupJavaType(SingleConcreteImplementor.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	396 assertEquals(cSi, iSi.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	397
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	398 ResolvedJavaType iSai = metaAccess.lookupJavaType(SingleAbstractImplementorInterface.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	399 ResolvedJavaType aSai = metaAccess.lookupJavaType(SingleAbstractImplementor.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	400 assertEquals(aSai, iSai.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	401
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	402 ResolvedJavaType iMi = metaAccess.lookupJavaType(MultiImplementorInterface.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	403 metaAccess.lookupJavaType(ConcreteImplementor1.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	404 metaAccess.lookupJavaType(ConcreteImplementor2.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	405 assertEquals(iMi, iMi.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	406
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	407 ResolvedJavaType iMai = metaAccess.lookupJavaType(MultipleAbstractImplementorInterface.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	408 metaAccess.lookupJavaType(MultiAbstractImplementor1.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	409 metaAccess.lookupJavaType(MultiAbstractImplementor2.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	410 assertEquals(iMai, iMai.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	411
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	412 ResolvedJavaType iSai2 = metaAccess.lookupJavaType(SingleAbstractImplementorInterface2.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	413 ResolvedJavaType aSai2 = metaAccess.lookupJavaType(SingleAbstractImplementor2.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	414 metaAccess.lookupJavaType(ConcreteTransitiveImplementor1.class);
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	415 metaAccess.lookupJavaType(ConcreteTransitiveImplementor2.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	416 assertEquals(aSai2, iSai2.getSingleImplementor());
18183 d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	417 }
d3dfd1f9545f Add TestResolvedJavaType.getImplementorTest(). Josef Eisl <josef.eisl@jku.at> parents: 17156 diff changeset	418
21538 c1e2fdb5fea3 removed more dependencies from JVMCI classes to non-JVMCI classes (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 20811 diff changeset	419 @Test(expected = InternalError.class)
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	420 public void getSingleImplementorTestClassReceiver() {
18193 0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	421 ResolvedJavaType base = metaAccess.lookupJavaType(Base.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	422 base.getSingleImplementor();
18193 0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	423 }
0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	424
21538 c1e2fdb5fea3 removed more dependencies from JVMCI classes to non-JVMCI classes (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 20811 diff changeset	425 @Test(expected = InternalError.class)
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	426 public void getSingleImplementorTestPrimitiveReceiver() {
18193 0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	427 ResolvedJavaType primitive = metaAccess.lookupJavaType(int.class);
18194 b7226cb963c3 Rename ResolvedJavaType.getImplementor() to getSingleImplementor(). Josef Eisl <josef.eisl@jku.at> parents: 18193 diff changeset	428 primitive.getSingleImplementor();
18193 0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	429 }
0a17944b7baf Throw an exception if ResolvedJavaType.getImplementor() is called with a non-interface type. Josef Eisl <josef.eisl@jku.at> parents: 18192 diff changeset	430
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	431 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	432 public void getComponentTypeTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	433 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	434 ResolvedJavaType type = metaAccess.lookupJavaType(c);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	435 Class<?> expected = c.getComponentType();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	436 ResolvedJavaType actual = type.getComponentType();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	437 if (expected == null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	438 assertNull(actual);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	439 } else {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	440 assertTrue(actual.equals(metaAccess.lookupJavaType(expected)));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	441 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	442 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	443 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	444
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	445 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	446 public void getArrayClassTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	447 for (Class<?> c : classes) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	448 if (c != void.class) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	449 ResolvedJavaType type = metaAccess.lookupJavaType(c);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	450 Class<?> expected = getArrayClass(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	451 ResolvedJavaType actual = type.getArrayClass();
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	452 assertTrue(actual.equals(metaAccess.lookupJavaType(expected)));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	453 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	454 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	455 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	456
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	457 static class Declarations {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	458
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	459 final Method implementation;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	460 final Set<Method> declarations;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	461
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	462 public Declarations(Method impl) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	463 this.implementation = impl;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	464 declarations = new HashSet<>();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	465 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	466 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	467
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	468 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	469 * See <a href="http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-5.html#jvms-5.4.5">Method
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	470 * overriding</a>.
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	471 */
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	472 static boolean isOverriderOf(Method impl, Method m) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	473 if (!isPrivate(m.getModifiers()) && !isFinal(m.getModifiers())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	474 if (m.getName().equals(impl.getName())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	475 if (m.getReturnType() == impl.getReturnType()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	476 if (Arrays.equals(m.getParameterTypes(), impl.getParameterTypes())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	477 if (isPublic(m.getModifiers()) \|\| isProtected(m.getModifiers())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	478 // m is public or protected
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	479 return isPublic(impl.getModifiers()) \|\| isProtected(impl.getModifiers());
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	480 } else {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	481 // m is package-private
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	482 return impl.getDeclaringClass().getPackage() == m.getDeclaringClass().getPackage();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	483 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	484 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	485 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	486 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	487 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	488 return false;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	489 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	490
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	491 static final Map<Class<?>, VTable> vtables = new HashMap<>();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	492
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	493 static class VTable {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	494
7044 34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7043 diff changeset	495 final Map<NameAndSignature, Method> methods = new HashMap<>();
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	496 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	497
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	498 static synchronized VTable getVTable(Class<?> c) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	499 VTable vtable = vtables.get(c);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	500 if (vtable == null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	501 vtable = new VTable();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	502 if (c != Object.class) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	503 VTable superVtable = getVTable(c.getSuperclass());
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	504 vtable.methods.putAll(superVtable.methods);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	505 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	506 for (Method m : c.getDeclaredMethods()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	507 if (!isStatic(m.getModifiers()) && !isPrivate(m.getModifiers())) {
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	508 if (isAbstract(m.getModifiers())) {
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	509 // A subclass makes a concrete method in a superclass abstract
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	510 vtable.methods.remove(new NameAndSignature(m));
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	511 } else {
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	512 vtable.methods.put(new NameAndSignature(m), m);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	513 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	514 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	515 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	516 vtables.put(c, vtable);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	517 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	518 return vtable;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	519 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	520
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	521 static Set<Method> findDeclarations(Method impl, Class<?> c) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	522 Set<Method> declarations = new HashSet<>();
7044 34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7043 diff changeset	523 NameAndSignature implSig = new NameAndSignature(impl);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	524 if (c != null) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	525 for (Method m : c.getDeclaredMethods()) {
7044 34753b057324 added unit tests for JavaType, JavaMethod and ResolvedJavaMethod Doug Simon <doug.simon@oracle.com> parents: 7043 diff changeset	526 if (new NameAndSignature(m).equals(implSig)) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	527 declarations.add(m);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	528 break;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	529 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	530 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	531 if (!c.isInterface()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	532 declarations.addAll(findDeclarations(impl, c.getSuperclass()));
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	533 }
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	534 for (Class<?> i : c.getInterfaces()) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	535 declarations.addAll(findDeclarations(impl, i));
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	536 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	537 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	538 return declarations;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	539 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	540
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	541 private static void checkResolveMethod(ResolvedJavaType type, ResolvedJavaType context, ResolvedJavaMethod decl, ResolvedJavaMethod expected) {
18191 839f97696479 Rename ResolvedJavaMethod.resolvedMethod() to resolveConcreteMethod() the reflect its actual behavior. Josef Eisl <josef.eisl@jku.at> parents: 18187 diff changeset	542 ResolvedJavaMethod impl = type.resolveConcreteMethod(decl, context);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	543 assertEquals(expected, impl);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	544 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	545
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	546 @Test
18192 660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	547 public void resolveMethodTest() {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	548 ResolvedJavaType context = metaAccess.lookupJavaType(TestResolvedJavaType.class);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	549 for (Class<?> c : classes) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	550 if (c.isInterface() \|\| c.isPrimitive()) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	551 ResolvedJavaType type = metaAccess.lookupJavaType(c);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	552 for (Method m : c.getDeclaredMethods()) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	553 if (JAVA_VERSION <= 1.7D \|\| (!isStatic(m.getModifiers()) && !isPrivate(m.getModifiers()))) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	554 ResolvedJavaMethod resolved = metaAccess.lookupJavaMethod(m);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	555 ResolvedJavaMethod impl = type.resolveMethod(resolved, context, true);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	556 ResolvedJavaMethod expected = resolved.isDefault() \|\| resolved.isAbstract() ? resolved : null;
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	557 assertEquals(m.toString(), expected, impl);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	558 } else {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	559 // As of JDK 8, interfaces can have static and private methods
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	560 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	561 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	562 } else {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	563 ResolvedJavaType type = metaAccess.lookupJavaType(c);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	564 VTable vtable = getVTable(c);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	565 for (Method impl : vtable.methods.values()) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	566 Set<Method> decls = findDeclarations(impl, c);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	567 for (Method decl : decls) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	568 ResolvedJavaMethod m = metaAccess.lookupJavaMethod(decl);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	569 if (m.isPublic()) {
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	570 ResolvedJavaMethod i = metaAccess.lookupJavaMethod(impl);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	571 checkResolveMethod(type, context, m, i);
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	572 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	573 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	574 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	575 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	576 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	577 }
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	578
660875e586f0 Add ResolvedJavaType.resolveMethod() (get the like-time resolved method). Josef Eisl <josef.eisl@jku.at> parents: 18191 diff changeset	579 @Test
18191 839f97696479 Rename ResolvedJavaMethod.resolvedMethod() to resolveConcreteMethod() the reflect its actual behavior. Josef Eisl <josef.eisl@jku.at> parents: 18187 diff changeset	580 public void resolveConcreteMethodTest() {
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	581 ResolvedJavaType context = metaAccess.lookupJavaType(TestResolvedJavaType.class);
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	582 for (Class<?> c : classes) {
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	583 if (c.isInterface() \|\| c.isPrimitive()) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	584 ResolvedJavaType type = metaAccess.lookupJavaType(c);
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	585 for (Method m : c.getDeclaredMethods()) {
13183 0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	586 if (JAVA_VERSION <= 1.7D \|\| (!isStatic(m.getModifiers()) && !isPrivate(m.getModifiers()))) {
0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	587 ResolvedJavaMethod resolved = metaAccess.lookupJavaMethod(m);
18191 839f97696479 Rename ResolvedJavaMethod.resolvedMethod() to resolveConcreteMethod() the reflect its actual behavior. Josef Eisl <josef.eisl@jku.at> parents: 18187 diff changeset	588 ResolvedJavaMethod impl = type.resolveConcreteMethod(resolved, context);
13183 0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	589 ResolvedJavaMethod expected = resolved.isDefault() ? resolved : null;
0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	590 assertEquals(m.toString(), expected, impl);
0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	591 } else {
0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	592 // As of JDK 8, interfaces can have static and private methods
0266ac3b26c0 JDK8: added support for default methods as well as interfaces containing static and private methods Doug Simon <doug.simon@oracle.com> parents: 11959 diff changeset	593 }
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	594 }
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	595 } else {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	596 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	597 VTable vtable = getVTable(c);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	598 for (Method impl : vtable.methods.values()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	599 Set<Method> decls = findDeclarations(impl, c);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	600 for (Method decl : decls) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	601 ResolvedJavaMethod m = metaAccess.lookupJavaMethod(decl);
15722 c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	602 if (m.isPublic()) {
c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	603 ResolvedJavaMethod i = metaAccess.lookupJavaMethod(impl);
c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	604 checkResolveMethod(type, context, m, i);
c583759bbcfd ResolvedJavaType.resolveMethod now takes a callerType that is used to check access rules. Make it work for default methods. Gilles Duboscq <duboscq@ssw.jku.at> parents: 15040 diff changeset	605 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	606 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	607 }
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	608 for (Method m : c.getDeclaredMethods()) {
18191 839f97696479 Rename ResolvedJavaMethod.resolvedMethod() to resolveConcreteMethod() the reflect its actual behavior. Josef Eisl <josef.eisl@jku.at> parents: 18187 diff changeset	609 ResolvedJavaMethod impl = type.resolveConcreteMethod(metaAccess.lookupJavaMethod(m), context);
11823 6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	610 ResolvedJavaMethod expected = isAbstract(m.getModifiers()) ? null : impl;
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	611 assertEquals(type + " " + m.toString(), expected, impl);
6440f50c1ea8 improved documentation and testing for ResolvedJavaType.resolveMethod() (GRAAL-489) Doug Simon <doug.simon@oracle.com> parents: 11520 diff changeset	612 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	613 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	614 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	615 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	616
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	617 @Test
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	618 public void findUniqueConcreteMethodTest() throws NoSuchMethodException {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	619 ResolvedJavaMethod thisMethod = metaAccess.lookupJavaMethod(getClass().getDeclaredMethod("findUniqueConcreteMethodTest"));
19795 3362ba500371 Connect required Assumptions with answer to CHA query Tom Rodriguez <tom.rodriguez@oracle.com> parents: 18950 diff changeset	620 ResolvedJavaMethod ucm = metaAccess.lookupJavaType(getClass()).findUniqueConcreteMethod(thisMethod).getResult();
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	621 assertEquals(thisMethod, ucm);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	622 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	623
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	624 public static Set<Field> getInstanceFields(Class<?> c, boolean includeSuperclasses) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	625 if (c.isArray() \|\| c.isPrimitive() \|\| c.isInterface()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	626 return Collections.emptySet();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	627 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	628 Set<Field> result = new HashSet<>();
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	629 for (Field f : c.getDeclaredFields()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	630 if (!Modifier.isStatic(f.getModifiers())) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	631 result.add(f);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	632 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	633 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	634 if (includeSuperclasses && c != Object.class) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	635 result.addAll(getInstanceFields(c.getSuperclass(), true));
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	636 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	637 return result;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	638 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	639
15841 cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	640 public static Set<Field> getStaticFields(Class<?> c) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	641 Set<Field> result = new HashSet<>();
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	642 for (Field f : c.getDeclaredFields()) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	643 if (Modifier.isStatic(f.getModifiers())) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	644 result.add(f);
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	645 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	646 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	647 return result;
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	648 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	649
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	650 public boolean fieldsEqual(Field f, ResolvedJavaField rjf) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	651 return rjf.getDeclaringClass().equals(metaAccess.lookupJavaType(f.getDeclaringClass())) && rjf.getName().equals(f.getName()) &&
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	652 rjf.getType().resolve(rjf.getDeclaringClass()).equals(metaAccess.lookupJavaType(f.getType()));
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	653 }
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	654
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	655 public ResolvedJavaField lookupField(ResolvedJavaField[] fields, Field key) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	656 for (ResolvedJavaField rf : fields) {
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	657 if (fieldsEqual(key, rf)) {
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	658 return rf;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	659 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	660 }
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	661 return null;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	662 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	663
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	664 public Field lookupField(Set<Field> fields, ResolvedJavaField key) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	665 for (Field f : fields) {
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	666 if (fieldsEqual(f, key)) {
2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	667 return f;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	668 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	669 }
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	670 return null;
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	671 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	672
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	673 private boolean isHiddenFromReflection(ResolvedJavaField f) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	674 if (f.getDeclaringClass().equals(metaAccess.lookupJavaType(Throwable.class)) && f.getName().equals("backtrace")) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	675 return true;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	676 }
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	677 if (f.getDeclaringClass().equals(metaAccess.lookupJavaType(ConstantPool.class)) && f.getName().equals("constantPoolOop")) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	678 return true;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	679 }
20811 652194a6414f Class.classloader is hidden from reflection Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 19796 diff changeset	680 if (f.getDeclaringClass().equals(metaAccess.lookupJavaType(Class.class)) && f.getName().equals("classLoader")) {
652194a6414f Class.classloader is hidden from reflection Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 19796 diff changeset	681 return true;
652194a6414f Class.classloader is hidden from reflection Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 19796 diff changeset	682 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	683 return false;
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	684 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	685
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	686 @Test
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	687 public void getInstanceFieldsTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	688 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	689 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7282 diff changeset	690 for (boolean includeSuperclasses : new boolean[]{true, false}) {
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	691 Set<Field> expected = getInstanceFields(c, includeSuperclasses);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	692 ResolvedJavaField[] actual = type.getInstanceFields(includeSuperclasses);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	693 for (Field f : expected) {
7056 2841e28b5f41 added test for ResolvedJavaType.findFieldWithOffset Doug Simon <doug.simon@oracle.com> parents: 7045 diff changeset	694 assertNotNull(lookupField(actual, f));
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	695 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	696 for (ResolvedJavaField rf : actual) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	697 if (!isHiddenFromReflection(rf)) {
20811 652194a6414f Class.classloader is hidden from reflection Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 19796 diff changeset	698 assertEquals(rf.toString(), lookupField(expected, rf) != null, !rf.isInternal());
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	699 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	700 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	701
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	702 // Test stability of getInstanceFields
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	703 ResolvedJavaField[] actual2 = type.getInstanceFields(includeSuperclasses);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	704 assertArrayEquals(actual, actual2);
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	705 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	706 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	707 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	708
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	709 @Test
15841 cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	710 public void getStaticFieldsTest() {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	711 for (Class<?> c : classes) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	712 ResolvedJavaType type = metaAccess.lookupJavaType(c);
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	713 Set<Field> expected = getStaticFields(c);
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	714 ResolvedJavaField[] actual = type.getStaticFields();
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	715 for (Field f : expected) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	716 assertNotNull(lookupField(actual, f));
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	717 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	718 for (ResolvedJavaField rf : actual) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	719 if (!isHiddenFromReflection(rf)) {
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	720 assertEquals(lookupField(expected, rf) != null, !rf.isInternal());
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	721 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	722 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	723
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	724 // Test stability of getStaticFields
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	725 ResolvedJavaField[] actual2 = type.getStaticFields();
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	726 assertArrayEquals(actual, actual2);
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	727 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	728 }
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	729
cb87019df5aa Add test for getStaticFields() Christian Wimmer <christian.wimmer@oracle.com> parents: 15729 diff changeset	730 @Test
11953 f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	731 public void getDeclaredMethodsTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	732 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	733 ResolvedJavaType type = metaAccess.lookupJavaType(c);
11953 f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	734 Method[] raw = c.getDeclaredMethods();
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	735 Set<ResolvedJavaMethod> expected = new HashSet<>();
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	736 for (Method m : raw) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	737 ResolvedJavaMethod resolvedMethod = metaAccess.lookupJavaMethod(m);
11953 f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	738 assertNotNull(resolvedMethod);
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	739 expected.add(resolvedMethod);
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	740 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	741 Set<ResolvedJavaMethod> actual = new HashSet<>(Arrays.asList(type.getDeclaredMethods()));
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	742 assertEquals(expected, actual);
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	743 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	744 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	745
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	746 static class A {
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	747 static String name = "foo";
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	748 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	749
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	750 static class B extends A {
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	751 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	752
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	753 static class C {
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	754 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	755
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	756 static class D {
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	757 void foo() {
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	758 // use of assertions causes the class to have a <clinit>
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	759 assert getClass() != null;
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	760 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	761 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	762
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	763 @Test
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	764 public void getClassInitializerTest() {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	765 assertNotNull(metaAccess.lookupJavaType(A.class).getClassInitializer());
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	766 assertNotNull(metaAccess.lookupJavaType(D.class).getClassInitializer());
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	767 assertNull(metaAccess.lookupJavaType(B.class).getClassInitializer());
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	768 assertNull(metaAccess.lookupJavaType(C.class).getClassInitializer());
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	769 assertNull(metaAccess.lookupJavaType(int.class).getClassInitializer());
23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	770 assertNull(metaAccess.lookupJavaType(void.class).getClassInitializer());
11953 f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	771 }
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	772
f9f18098479e added tests for ResolvedJavaType.getClassInitializer() and ResolvedJavaType.getDeclaredMethods() Doug Simon <doug.simon@oracle.com> parents: 11823 diff changeset	773 @Test
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	774 public void getAnnotationTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	775 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	776 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	777 for (Annotation a : c.getAnnotations()) {
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	778 assertEquals(a, type.getAnnotation(a.annotationType()));
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	779 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	780 }
dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	781 }
7829 a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	782
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	783 @Test
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	784 public void memberClassesTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	785 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	786 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7829 a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	787 assertEquals(c.isLocalClass(), type.isLocal());
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	788 assertEquals(c.isMemberClass(), type.isMember());
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	789 Class<?> enclc = c.getEnclosingClass();
7829 a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	790 ResolvedJavaType enclt = type.getEnclosingType();
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	791 assertFalse(enclc == null ^ enclt == null);
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	792 if (enclc != null) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	793 assertEquals(enclt, metaAccess.lookupJavaType(enclc));
7829 a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	794 }
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	795 }
a44887443b0c support for inner classes (local/member) in meta API Michael Haupt <michael.haupt@oracle.com> parents: 7530 diff changeset	796 }
7831 fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	797
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	798 @Test
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	799 public void classFilePathTest() {
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15018 diff changeset	800 for (Class<?> c : classes) {
11959 23ccaa863eda made CodeCacheProvider independent of MetaAccessProvider (GRAAL-511) Doug Simon <doug.simon@oracle.com> parents: 11953 diff changeset	801 ResolvedJavaType type = metaAccess.lookupJavaType(c);
7831 fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	802 URL path = type.getClassFilePath();
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	803 if (type.isPrimitive() \|\| type.isArray()) {
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	804 assertEquals(null, path);
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	805 } else {
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	806 assertNotNull(path);
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	807 String pathString = path.getPath();
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	808 if (type.isLocal() \|\| type.isMember()) {
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	809 assertTrue(pathString.indexOf('$') > 0);
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	810 }
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	811 }
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	812 }
fb0ef768d877 simplified class file path retrieval, added test Michael Haupt <michael.haupt@oracle.com> parents: 7829 diff changeset	813 }
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	814
17156 ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	815 @Test
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	816 public void isTrustedInterfaceTypeTest() {
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	817 for (Class<?> c : classes) {
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	818 ResolvedJavaType type = metaAccess.lookupJavaType(c);
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	819 if (TrustedInterface.class.isAssignableFrom(c)) {
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	820 assertTrue(type.isTrustedInterfaceType());
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	821 }
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	822 }
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	823 }
ac6e25901d62 Add trusted interface concept and use it for WordBase, fix a NPE and some tests Gilles Duboscq <duboscq@ssw.jku.at> parents: 16491 diff changeset	824
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	825 private Method findTestMethod(Method apiMethod) {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	826 String testName = apiMethod.getName() + "Test";
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	827 for (Method m : getClass().getDeclaredMethods()) {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	828 if (m.getName().equals(testName) && m.getAnnotation(Test.class) != null) {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	829 return m;
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	830 }
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	831 }
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	832 return null;
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	833 }
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	834
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	835 // @formatter:off
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	836 private static final String[] untestedApiMethods = {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	837 "initialize",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	838 "isPrimitive",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	839 "newArray",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	840 "getDeclaredConstructors",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	841 "isInitialized",
11520 7cca436d600b Add isLinked method to ResolvedJavaType Gilles Duboscq <duboscq@ssw.jku.at> parents: 9806 diff changeset	842 "isLinked",
18361 6ac7e9c85be6 Split getEncoding into two methods. Roland Schatz <roland.schatz@oracle.com> parents: 18194 diff changeset	843 "getJavaClass",
6ac7e9c85be6 Split getEncoding into two methods. Roland Schatz <roland.schatz@oracle.com> parents: 18194 diff changeset	844 "getObjectHub",
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	845 "hasFinalizableSubclass",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	846 "hasFinalizer",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	847 "getSourceFileName",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	848 "getClassFilePath",
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	849 "isLocal",
16491 4d7a9829315e moved isJavaLangObject(ResolvedJavaType type) from MetaUtil to be a default method in ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: 16485 diff changeset	850 "isJavaLangObject",
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	851 "isMember",
16485 d6604020da93 removed com.oracle.graal.api.meta.jdk8.test project Doug Simon <doug.simon@oracle.com> parents: 15841 diff changeset	852 "getElementalType",
18694 ec1b0b097d82 Ignore $jacocoInit methods in coverage tests. Roland Schatz <roland.schatz@oracle.com> parents: 18533 diff changeset	853 "getEnclosingType",
ec1b0b097d82 Ignore $jacocoInit methods in coverage tests. Roland Schatz <roland.schatz@oracle.com> parents: 18533 diff changeset	854 "$jacocoInit"
9806 21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	855 };
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	856 // @formatter:on
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	857
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	858 /**
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	859 * Ensures that any new methods added to {@link ResolvedJavaMethod} either have a test written
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	860 * for them or are added to {@link #untestedApiMethods}.
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	861 */
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	862 @Test
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	863 public void testCoverage() {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	864 Set<String> known = new HashSet<>(Arrays.asList(untestedApiMethods));
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	865 for (Method m : ResolvedJavaType.class.getDeclaredMethods()) {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	866 if (findTestMethod(m) == null) {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	867 assertTrue("test missing for " + m, known.contains(m.getName()));
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	868 } else {
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	869 assertFalse("test should be removed from untestedApiMethods" + m, known.contains(m.getName()));
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	870 }
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	871 }
21b8cd853b2b cleaned up api.meta tests (GRAAL-59) Doug Simon <doug.simon@oracle.com> parents: 8959 diff changeset	872 }
7037 dd81042f4eb1 added unit tests for ResolvedJavaType Doug Simon <doug.simon@oracle.com> parents: diff changeset	873 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.api.meta.test/src/com/oracle/graal/api/meta/test/TestResolvedJavaType.java @ 21538:c1e2fdb5fea3