com.oracle.svm.hosted.meta

Class HostedType

java.lang.Object

com.oracle.svm.hosted.meta.HostedType

All Implemented Interfaces:

com.oracle.graal.pointsto.infrastructure.OriginalClassProvider, com.oracle.graal.pointsto.infrastructure.WrappedElement, com.oracle.graal.pointsto.infrastructure.WrappedJavaType, SharedType, Comparable<HostedType>, AnnotatedElement, jdk.vm.ci.meta.JavaType, jdk.vm.ci.meta.ModifiersProvider, jdk.vm.ci.meta.ResolvedJavaType

Direct Known Subclasses:

HostedClass, HostedInterface, HostedPrimitiveType

public abstract class HostedType
extends Object
implements SharedType, com.oracle.graal.pointsto.infrastructure.WrappedJavaType, Comparable<HostedType>, com.oracle.graal.pointsto.infrastructure.OriginalClassProvider

Field Summary

Fields

Modifier and Type	Field and Description
protected HostedMethod[]	allDeclaredMethods
protected HostedArrayClass	arrayType
protected int[]	assignableFromMatches
protected BitSet	instanceOfBits Bits for instanceof checks.
protected int	instanceOfFromTypeID
protected int	instanceOfNumTypeIDs
protected HostedField[]	staticFields
protected HostedType	strengthenStampType A more precise subtype that can replace this type as the declared type of values.
protected HostedType[]	subTypes
protected int	typeID
protected HostedType	uniqueConcreteImplementation
protected HostedUniverse	universe
protected HostedMethod[]	vtable
protected com.oracle.graal.pointsto.meta.AnalysisType	wrapped

Constructor Summary

Constructors

Constructor and Description
HostedType(HostedUniverse universe, com.oracle.graal.pointsto.meta.AnalysisType wrapped, jdk.vm.ci.meta.JavaKind kind, jdk.vm.ci.meta.JavaKind storageKind, HostedClass superClass, HostedInterface[] interfaces, boolean isCloneable)

Method Summary

Modifier and Type	Method and Description
int	compareTo(HostedType other)
jdk.vm.ci.meta.ResolvedJavaField	findInstanceFieldWithOffset(long offset, jdk.vm.ci.meta.JavaKind expectedKind)
jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaType>	findLeafConcreteSubtype()
jdk.vm.ci.meta.ResolvedJavaType	findLeastCommonAncestor(jdk.vm.ci.meta.ResolvedJavaType otherType)
HostedMethod[]	getAllDeclaredMethods() Returns all methods (including constructors and synthetic methods) that have this type as the declaring class.
<T extends Annotation> T	getAnnotation(Class<T> annotationClass)
Annotation[]	getAnnotations()
HostedArrayClass	getArrayClass()
HostedType	getArrayClass(int dimension)
abstract int	getArrayDimension()
int[]	getAssignableFromMatches()
abstract HostedType	getBaseType()
jdk.vm.ci.meta.ResolvedJavaMethod	getClassInitializer()
abstract HostedType	getComponentType()
Annotation[]	getDeclaredAnnotations()
HostedMethod[]	getDeclaredConstructors()
HostedMethod[]	getDeclaredMethods()
HostedType	getEnclosingType()
jdk.vm.ci.meta.ResolvedJavaType	getHostClass()
DynamicHub	getHub()
abstract HostedField[]	getInstanceFields(boolean includeSuperclasses)
int	getInstanceOfFromTypeID() Gets the start of the type-ID range for instance-of checks.
int	getInstanceOfNumTypeIDs() Returns the size of the type-ID range for instance-of checks.
HostedInterface[]	getInterfaces()
Class<?>	getJavaClass()
jdk.vm.ci.meta.JavaKind	getJavaKind()
int	getModifiers()
String	getName()
HostedType	getSingleImplementor()
String	getSourceFileName()
jdk.vm.ci.meta.ResolvedJavaField[]	getStaticFields()
jdk.vm.ci.meta.JavaKind	getStorageKind() The kind of the field in memory (in contrast to HostedType.getJavaKind(), which is the kind of the field on the Java type system level).
HostedType	getStrengthenStampType()
HostedType[]	getSubTypes()
HostedClass	getSuperclass()
int	getTypeID()
HostedType	getUniqueConcreteImplementation()
HostedMethod[]	getVTable()
com.oracle.graal.pointsto.meta.AnalysisType	getWrapped()
jdk.vm.ci.meta.Assumptions.AssumptionResult<Boolean>	hasFinalizableSubclass()
boolean	hasFinalizer()
void	initialize()
boolean	isAssignableFrom(jdk.vm.ci.meta.ResolvedJavaType other)
boolean	isCloneableWithAllocation()
boolean	isInitialized()
boolean	isInstance(jdk.vm.ci.meta.JavaConstant obj)
boolean	isInstantiated()
boolean	isLinked()
boolean	isLocal()
boolean	isMember()
boolean	isWordType() Returns true if this type is part of the word type hierarchy, i.e, implements WordBase.
jdk.vm.ci.meta.ResolvedJavaType	resolve(jdk.vm.ci.meta.ResolvedJavaType accessingClass)
jdk.vm.ci.meta.ResolvedJavaMethod	resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m, jdk.vm.ci.meta.ResolvedJavaType ct)
void	setEnclosingType(HostedType enclosingType)
void	setInstanceOfRange(int instanceOfFromTypeID, int instanceOfNumTypeIDs)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.svm.core.meta.SharedType

findUniqueConcreteMethod, resolveMethod

Methods inherited from interface jdk.vm.ci.meta.ResolvedJavaType

findMethod, getElementalType, isEnum, isInstanceClass, isInterface, isJavaLangObject, isLeaf, isPrimitive, lookupType, resolveField

Methods inherited from interface jdk.vm.ci.meta.JavaType

getUnqualifiedName, isArray, toClassName, toJavaName, toJavaName

Methods inherited from interface jdk.vm.ci.meta.ModifiersProvider

isAbstract, isConcrete, isFinalFlagSet, isNative, isPackagePrivate, isPrivate, isProtected, isPublic, isStatic, isStrict, isSynchronized, isTransient, isVolatile

Methods inherited from interface java.lang.reflect.AnnotatedElement

getAnnotationsByType, getDeclaredAnnotation, getDeclaredAnnotationsByType, isAnnotationPresent

Methods inherited from interface com.oracle.graal.pointsto.infrastructure.OriginalClassProvider

getJavaClass

Field Detail

universe

protected final HostedUniverse universe

wrapped

protected final com.oracle.graal.pointsto.meta.AnalysisType wrapped

arrayType

protected HostedArrayClass arrayType

subTypes

protected HostedType[] subTypes

staticFields

protected HostedField[] staticFields

vtable

protected HostedMethod[] vtable

instanceOfFromTypeID

protected int instanceOfFromTypeID

See Also:

SharedType.getInstanceOfFromTypeID()

instanceOfNumTypeIDs

protected int instanceOfNumTypeIDs

See Also:

SharedType.getInstanceOfNumTypeIDs()

instanceOfBits

protected BitSet instanceOfBits

Bits for instanceof checks. See DynamicHub.instanceOfBits.

typeID

protected int typeID

assignableFromMatches

protected int[] assignableFromMatches

uniqueConcreteImplementation

protected HostedType uniqueConcreteImplementation

allDeclaredMethods

protected HostedMethod[] allDeclaredMethods

strengthenStampType

protected HostedType strengthenStampType

A more precise subtype that can replace this type as the declared type of values. Null if this type is never instantiated and does not have any instantiated subtype, i.e., if no value of this type can ever exist. Equal to this type if this type is instantiated, i.e, this type cannot be strengthened.

Constructor Detail

HostedType

public HostedType(HostedUniverse universe,
                  com.oracle.graal.pointsto.meta.AnalysisType wrapped,
                  jdk.vm.ci.meta.JavaKind kind,
                  jdk.vm.ci.meta.JavaKind storageKind,
                  HostedClass superClass,
                  HostedInterface[] interfaces,
                  boolean isCloneable)

Method Detail

getStrengthenStampType

public HostedType getStrengthenStampType()

setInstanceOfRange

public void setInstanceOfRange(int instanceOfFromTypeID,
                               int instanceOfNumTypeIDs)

getSubTypes

public HostedType[] getSubTypes()

getVTable

public HostedMethod[] getVTable()

getTypeID

public int getTypeID()

getAssignableFromMatches

public int[] getAssignableFromMatches()

isWordType

public boolean isWordType()

Returns true if this type is part of the word type hierarchy, i.e, implements WordBase.

getAllDeclaredMethods

public HostedMethod[] getAllDeclaredMethods()

Returns all methods (including constructors and synthetic methods) that have this type as the declaring class.

getUniqueConcreteImplementation

public HostedType getUniqueConcreteImplementation()

getHub

public DynamicHub getHub()

Specified by:

getHub in interface SharedType

getInstanceOfFromTypeID

public int getInstanceOfFromTypeID()

Description copied from interface: SharedType

Gets the start of the type-ID range for instance-of checks. If the type-ID of the object in question is within this range then the object is an instance of this type.

Now if there is not a single type-ID range to be used for the check (e.g. for interface types), then the instance-of check must be done with a bit test. In this case SharedType.getInstanceOfNumTypeIDs() return -1 and this method returns the bit number to check in the bit-set of the object's DynamicHub.

Specified by:

getInstanceOfFromTypeID in interface SharedType

getInstanceOfNumTypeIDs

public int getInstanceOfNumTypeIDs()

Description copied from interface: SharedType

Returns the size of the type-ID range for instance-of checks. Specifically:

• 0: there are no instantiated objects of that type and the instance-of check fails always
• -1: the instance-of check must be done with a bit test and SharedType.getInstanceOfFromTypeID() returns the bit number
• < -1: this type should not be in any type checks

Specified by:

getInstanceOfNumTypeIDs in interface SharedType

See Also:

SharedType.getInstanceOfFromTypeID()

getWrapped

public com.oracle.graal.pointsto.meta.AnalysisType getWrapped()

Specified by:

getWrapped in interface com.oracle.graal.pointsto.infrastructure.WrappedElement

Specified by:

getWrapped in interface com.oracle.graal.pointsto.infrastructure.WrappedJavaType

isInstantiated

public boolean isInstantiated()

getName

public final String getName()

Specified by:

getName in interface jdk.vm.ci.meta.JavaType

getJavaKind

public final jdk.vm.ci.meta.JavaKind getJavaKind()

Specified by:

getJavaKind in interface jdk.vm.ci.meta.JavaType

getStorageKind

public final jdk.vm.ci.meta.JavaKind getStorageKind()

The kind of the field in memory (in contrast to HostedType.getJavaKind(), which is the kind of the field on the Java type system level). For example word types have a HostedType.getJavaKind() of JavaKind.Object, but a primitive HostedType.storageKind.

Specified by:

getStorageKind in interface SharedType

resolve

public final jdk.vm.ci.meta.ResolvedJavaType resolve(jdk.vm.ci.meta.ResolvedJavaType accessingClass)

Specified by:

resolve in interface jdk.vm.ci.meta.JavaType

hasFinalizer

public final boolean hasFinalizer()

Specified by:

hasFinalizer in interface jdk.vm.ci.meta.ResolvedJavaType

hasFinalizableSubclass

public final jdk.vm.ci.meta.Assumptions.AssumptionResult<Boolean> hasFinalizableSubclass()

Specified by:

hasFinalizableSubclass in interface jdk.vm.ci.meta.ResolvedJavaType

isInitialized

public final boolean isInitialized()

Specified by:

isInitialized in interface jdk.vm.ci.meta.ResolvedJavaType

initialize

public void initialize()

Specified by:

initialize in interface jdk.vm.ci.meta.ResolvedJavaType

getArrayClass

public final HostedArrayClass getArrayClass()

Specified by:

getArrayClass in interface jdk.vm.ci.meta.JavaType

Specified by:

getArrayClass in interface jdk.vm.ci.meta.ResolvedJavaType

getArrayClass

public HostedType getArrayClass(int dimension)

getInstanceFields

public abstract HostedField[] getInstanceFields(boolean includeSuperclasses)

Specified by:

getInstanceFields in interface jdk.vm.ci.meta.ResolvedJavaType

getStaticFields

public jdk.vm.ci.meta.ResolvedJavaField[] getStaticFields()

Specified by:

getStaticFields in interface jdk.vm.ci.meta.ResolvedJavaType

getSuperclass

public final HostedClass getSuperclass()

Specified by:

getSuperclass in interface jdk.vm.ci.meta.ResolvedJavaType

getInterfaces

public final HostedInterface[] getInterfaces()

Specified by:

getInterfaces in interface jdk.vm.ci.meta.ResolvedJavaType

getComponentType

public abstract HostedType getComponentType()

Specified by:

getComponentType in interface jdk.vm.ci.meta.JavaType

Specified by:

getComponentType in interface jdk.vm.ci.meta.ResolvedJavaType

getBaseType

public abstract HostedType getBaseType()

getArrayDimension

public abstract int getArrayDimension()

findLeafConcreteSubtype

public jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaType> findLeafConcreteSubtype()

Specified by:

findLeafConcreteSubtype in interface jdk.vm.ci.meta.ResolvedJavaType

getSingleImplementor

public HostedType getSingleImplementor()

Specified by:

getSingleImplementor in interface jdk.vm.ci.meta.ResolvedJavaType

isAssignableFrom

public final boolean isAssignableFrom(jdk.vm.ci.meta.ResolvedJavaType other)

Specified by:

isAssignableFrom in interface jdk.vm.ci.meta.ResolvedJavaType

findLeastCommonAncestor

public final jdk.vm.ci.meta.ResolvedJavaType findLeastCommonAncestor(jdk.vm.ci.meta.ResolvedJavaType otherType)

Specified by:

findLeastCommonAncestor in interface jdk.vm.ci.meta.ResolvedJavaType

resolveConcreteMethod

public jdk.vm.ci.meta.ResolvedJavaMethod resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m,
                                                               jdk.vm.ci.meta.ResolvedJavaType ct)

Specified by:

resolveConcreteMethod in interface SharedType

Specified by:

resolveConcreteMethod in interface jdk.vm.ci.meta.ResolvedJavaType

getModifiers

public final int getModifiers()

Specified by:

getModifiers in interface jdk.vm.ci.meta.ModifiersProvider

isInstance

public final boolean isInstance(jdk.vm.ci.meta.JavaConstant obj)

Specified by:

isInstance in interface jdk.vm.ci.meta.ResolvedJavaType

findInstanceFieldWithOffset

public jdk.vm.ci.meta.ResolvedJavaField findInstanceFieldWithOffset(long offset,
                                                                    jdk.vm.ci.meta.JavaKind expectedKind)

Specified by:

findInstanceFieldWithOffset in interface jdk.vm.ci.meta.ResolvedJavaType

getAnnotations

public Annotation[] getAnnotations()

Specified by:

getAnnotations in interface AnnotatedElement

getDeclaredAnnotations

public Annotation[] getDeclaredAnnotations()

Specified by:

getDeclaredAnnotations in interface AnnotatedElement

getAnnotation

public final <T extends Annotation> T getAnnotation(Class<T> annotationClass)

Specified by:

getAnnotation in interface AnnotatedElement

getSourceFileName

public String getSourceFileName()

Specified by:

getSourceFileName in interface jdk.vm.ci.meta.ResolvedJavaType

toString

public String toString()

Overrides:

toString in class Object

isLocal

public boolean isLocal()

Specified by:

isLocal in interface jdk.vm.ci.meta.ResolvedJavaType

isMember

public boolean isMember()

Specified by:

isMember in interface jdk.vm.ci.meta.ResolvedJavaType

getEnclosingType

public HostedType getEnclosingType()

Specified by:

getEnclosingType in interface jdk.vm.ci.meta.ResolvedJavaType

getDeclaredConstructors

public HostedMethod[] getDeclaredConstructors()

Specified by:

getDeclaredConstructors in interface jdk.vm.ci.meta.ResolvedJavaType

getDeclaredMethods

public HostedMethod[] getDeclaredMethods()

Specified by:

getDeclaredMethods in interface jdk.vm.ci.meta.ResolvedJavaType

getClassInitializer

public jdk.vm.ci.meta.ResolvedJavaMethod getClassInitializer()

Specified by:

getClassInitializer in interface jdk.vm.ci.meta.ResolvedJavaType

isLinked

public boolean isLinked()

Specified by:

isLinked in interface jdk.vm.ci.meta.ResolvedJavaType

isCloneableWithAllocation

public boolean isCloneableWithAllocation()

Specified by:

isCloneableWithAllocation in interface jdk.vm.ci.meta.ResolvedJavaType

getHostClass

public jdk.vm.ci.meta.ResolvedJavaType getHostClass()

Specified by:

getHostClass in interface jdk.vm.ci.meta.ResolvedJavaType

setEnclosingType

public void setEnclosingType(HostedType enclosingType)

getJavaClass

public Class<?> getJavaClass()

Specified by:

getJavaClass in interface com.oracle.graal.pointsto.infrastructure.OriginalClassProvider

compareTo

public int compareTo(HostedType other)

Specified by:

compareTo in interface Comparable<HostedType>