org.graalvm.compiler.core.common.type

Class TypeReference

java.lang.Object

org.graalvm.compiler.core.common.type.TypeReference

public final class TypeReference
extends Object

This class represents a reference to a Java type and whether this reference is referring only to the represented type or also to its sub types in the class hierarchy. When creating a type reference, the following options have to be considered:

• The reference should always only refer to the given concrete type. Use TypeReference.createExactTrusted(ResolvedJavaType) for this purpose.
• The reference should be created without assumptions about the class hierarchy. The returned reference is exact only when the type is a leaf type (i.e., it cannot have subclasses). Depending on whether interface types can be trusted for this type reference use TypeReference.createWithoutAssumptions(ResolvedJavaType) or TypeReference.createTrustedWithoutAssumptions(ResolvedJavaType).
• The reference should be created using assumptions about the class hierarchy. The returned reference is also exact, when there is only a single concrete sub type for the given type. Depending on whether interface types can be trusted for this type reference use TypeReference.create(Assumptions, ResolvedJavaType) or TypeReference.createTrusted(Assumptions, ResolvedJavaType).

For the methods with untrusted interface types, a null reference will be constructed for untrusted interface types. Examples for interface types that cannot be trusted are types for parameters, fields, and return values. They are not checked by the Java verifier.

Method Summary

Modifier and Type	Method and Description
TypeReference	asExactReference()
static TypeReference	create(Assumptions assumptions, ResolvedJavaType type) Creates a type reference using the given type with assumptions and without trusting interface types.
static TypeReference	createExactTrusted(ResolvedJavaType type) Creates an exact type reference using the given type.
static TypeReference	createTrusted(Assumptions assumptions, ResolvedJavaType type) Create a type reference using the given type with assumptions and trusting interface types.
static TypeReference	createTrustedWithoutAssumptions(ResolvedJavaType type) Creates a type reference using the given type without assumptions and trusting interface types.
static TypeReference	createWithoutAssumptions(ResolvedJavaType type) Creates a type reference using the given type without assumptions and without trusting interface types.
ResolvedJavaType	getType() The type this reference refers to.
boolean	isExact()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

createExactTrusted

public static TypeReference createExactTrusted(ResolvedJavaType type)

Creates an exact type reference using the given type.

createWithoutAssumptions

public static TypeReference createWithoutAssumptions(ResolvedJavaType type)

Creates a type reference using the given type without assumptions and without trusting interface types.

createTrustedWithoutAssumptions

public static TypeReference createTrustedWithoutAssumptions(ResolvedJavaType type)

Creates a type reference using the given type without assumptions and trusting interface types.

create

public static TypeReference create(Assumptions assumptions,
                                   ResolvedJavaType type)

Creates a type reference using the given type with assumptions and without trusting interface types.

createTrusted

public static TypeReference createTrusted(Assumptions assumptions,
                                          ResolvedJavaType type)

Create a type reference using the given type with assumptions and trusting interface types.

getType

public ResolvedJavaType getType()

The type this reference refers to.

isExact

public boolean isExact()

Returns:

true if this reference is exact and only refers to the given type and false if it also refers to its sub types.

asExactReference

public TypeReference asExactReference()

Returns:

A new reference that is guaranteed to be exact.

toString

public String toString()

Overrides:

toString in class Object