com.oracle.svm.graal.meta

Class SubstrateType

java.lang.Object

com.oracle.truffle.api.nodes.NodeClass

com.oracle.svm.graal.meta.SubstrateType

All Implemented Interfaces:

SharedType, Replaced, AnnotatedElement, jdk.vm.ci.meta.JavaType, jdk.vm.ci.meta.ModifiersProvider, jdk.vm.ci.meta.ResolvedJavaType

public class SubstrateType
extends com.oracle.truffle.api.nodes.NodeClass
implements SharedType, Replaced

Field Summary

Fields

Modifier and Type	Field and Description
protected static SubstrateType[]	EMPTY_ARRAY
protected DynamicHub	uniqueConcreteImplementation

Constructor Summary

Constructors

Constructor and Description
SubstrateType(jdk.vm.ci.meta.JavaKind kind, DynamicHub hub)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
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)
<T extends Annotation> T	getAnnotation(Class<T> annotationClass)
Annotation[]	getAnnotations()
jdk.vm.ci.meta.ResolvedJavaType	getArrayClass()
com.oracle.truffle.api.nodes.NodeFieldAccessor[]	getChildFields()
com.oracle.truffle.api.nodes.NodeFieldAccessor[]	getChildrenFields()
jdk.vm.ci.meta.ResolvedJavaMethod	getClassInitializer()
com.oracle.truffle.api.nodes.NodeFieldAccessor[]	getCloneableFields()
jdk.vm.ci.meta.ResolvedJavaType	getComponentType()
Annotation[]	getDeclaredAnnotations()
jdk.vm.ci.meta.ResolvedJavaMethod[]	getDeclaredConstructors()
jdk.vm.ci.meta.ResolvedJavaMethod[]	getDeclaredMethods()
jdk.vm.ci.meta.ResolvedJavaType	getEnclosingType()
String	getFieldName(Object field)
Object	getFieldObject(Object field, com.oracle.truffle.api.nodes.Node receiver)
com.oracle.truffle.api.nodes.NodeFieldAccessor[]	getFields()
Class<?>	getFieldType(Object field)
Object	getFieldValue(Object field, com.oracle.truffle.api.nodes.Node node)
jdk.vm.ci.meta.ResolvedJavaType	getHostClass()
DynamicHub	getHub()
int	getInstanceFieldCount()
SubstrateField[]	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.
jdk.vm.ci.meta.ResolvedJavaType[]	getInterfaces()
jdk.vm.ci.meta.JavaKind	getJavaKind()
int	getModifiers()
String	getName()
com.oracle.truffle.api.nodes.NodeFieldAccessor	getNodeClassField()
protected Iterable<SubstrateField>	getNodeFields()
com.oracle.truffle.api.nodes.NodeFieldAccessor	getParentField()
Object	getRawAllInstanceFields()
jdk.vm.ci.meta.ResolvedJavaType	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 SubstrateType.getJavaKind(), which is the kind of the field on the Java type system level).
SubstrateType	getSuperclass()
Class<? extends com.oracle.truffle.api.nodes.Node>	getType()
jdk.vm.ci.meta.Assumptions.AssumptionResult<Boolean>	hasFinalizableSubclass()
boolean	hasFinalizer()
int	hashCode()
void	initialize()
boolean	isArray()
boolean	isAssignableFrom(jdk.vm.ci.meta.ResolvedJavaType other)
boolean	isChildField(Object field)
boolean	isChildrenField(Object field)
boolean	isCloneableField(Object field)
boolean	isCloneableWithAllocation()
boolean	isEnum()
boolean	isInitialized()
boolean	isInstance(jdk.vm.ci.meta.JavaConstant obj)
boolean	isInstanceClass()
boolean	isInterface()
boolean	isJavaLangObject()
boolean	isLinked()
boolean	isLocal()
boolean	isMember()
boolean	isPrimitive()
Iterator<com.oracle.truffle.api.nodes.Node>	makeIterator(com.oracle.truffle.api.nodes.Node node)
void	putFieldObject(Object field, com.oracle.truffle.api.nodes.Node receiver, Object value)
jdk.vm.ci.meta.ResolvedJavaType	resolve(jdk.vm.ci.meta.ResolvedJavaType accessingClass)
void	setRawAllInstanceFields(SubstrateField[] allInstanceFields)
void	setTypeCheckData(int instanceOfFromTypeID, int instanceOfNumTypeIDs, DynamicHub uniqueConcreteImplementation)
String	toString()

Methods inherited from class com.oracle.truffle.api.nodes.NodeClass

get, get

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

findUniqueConcreteMethod, resolveConcreteMethod, resolveMethod

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

findMethod, getElementalType, isLeaf, lookupType, resolveField

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

getUnqualifiedName, 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

Field Detail

EMPTY_ARRAY

protected static final SubstrateType[] EMPTY_ARRAY

uniqueConcreteImplementation

protected DynamicHub uniqueConcreteImplementation

Constructor Detail

SubstrateType

public SubstrateType(jdk.vm.ci.meta.JavaKind kind,
                     DynamicHub hub)

Method Detail

setRawAllInstanceFields

public void setRawAllInstanceFields(SubstrateField[] allInstanceFields)

getRawAllInstanceFields

public Object getRawAllInstanceFields()

setTypeCheckData

public void setTypeCheckData(int instanceOfFromTypeID,
                             int instanceOfNumTypeIDs,
                             DynamicHub uniqueConcreteImplementation)

getStorageKind

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

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

Specified by:

getStorageKind in interface SharedType

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()

getName

public String getName()

Specified by:

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

getJavaKind

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

Specified by:

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

resolve

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

Specified by:

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

hasFinalizer

public boolean hasFinalizer()

Specified by:

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

hasFinalizableSubclass

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

Specified by:

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

isInterface

public boolean isInterface()

Specified by:

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

Specified by:

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

isInstanceClass

public boolean isInstanceClass()

Specified by:

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

isArray

public boolean isArray()

Specified by:

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

isPrimitive

public boolean isPrimitive()

Specified by:

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

isEnum

public boolean isEnum()

Specified by:

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

getModifiers

public int getModifiers()

Specified by:

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

isInitialized

public 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

isAssignableFrom

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

Specified by:

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

isInstance

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

Specified by:

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

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 jdk.vm.ci.meta.ResolvedJavaType getSingleImplementor()

Specified by:

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

getSuperclass

public SubstrateType getSuperclass()

Specified by:

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

getInterfaces

public jdk.vm.ci.meta.ResolvedJavaType[] getInterfaces()

Specified by:

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

findLeastCommonAncestor

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

Specified by:

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

isJavaLangObject

public boolean isJavaLangObject()

Specified by:

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

getComponentType

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

Specified by:

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

Specified by:

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

getArrayClass

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

Specified by:

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

Specified by:

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

getInstanceFields

public SubstrateField[] getInstanceFields(boolean includeSuperclasses)

Specified by:

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

getInstanceFieldCount

public int getInstanceFieldCount()

getStaticFields

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

Specified by:

getStaticFields 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 <T extends Annotation> T getAnnotation(Class<T> annotationClass)

Specified by:

getAnnotation in interface AnnotatedElement

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

getSourceFileName

public String getSourceFileName()

Specified by:

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

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 jdk.vm.ci.meta.ResolvedJavaType getEnclosingType()

Specified by:

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

getDeclaredConstructors

public jdk.vm.ci.meta.ResolvedJavaMethod[] getDeclaredConstructors()

Specified by:

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

getDeclaredMethods

public jdk.vm.ci.meta.ResolvedJavaMethod[] 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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

getNodeClassField

public com.oracle.truffle.api.nodes.NodeFieldAccessor getNodeClassField()

Overrides:

getNodeClassField in class com.oracle.truffle.api.nodes.NodeClass

getCloneableFields

public com.oracle.truffle.api.nodes.NodeFieldAccessor[] getCloneableFields()

Overrides:

getCloneableFields in class com.oracle.truffle.api.nodes.NodeClass

getFields

public com.oracle.truffle.api.nodes.NodeFieldAccessor[] getFields()

Overrides:

getFields in class com.oracle.truffle.api.nodes.NodeClass

getParentField

public com.oracle.truffle.api.nodes.NodeFieldAccessor getParentField()

Overrides:

getParentField in class com.oracle.truffle.api.nodes.NodeClass

getChildFields

public com.oracle.truffle.api.nodes.NodeFieldAccessor[] getChildFields()

Overrides:

getChildFields in class com.oracle.truffle.api.nodes.NodeClass

getChildrenFields

public com.oracle.truffle.api.nodes.NodeFieldAccessor[] getChildrenFields()

Overrides:

getChildrenFields in class com.oracle.truffle.api.nodes.NodeClass

makeIterator

public Iterator<com.oracle.truffle.api.nodes.Node> makeIterator(com.oracle.truffle.api.nodes.Node node)

Overrides:

makeIterator in class com.oracle.truffle.api.nodes.NodeClass

getType

public Class<? extends com.oracle.truffle.api.nodes.Node> getType()

Specified by:

getType in class com.oracle.truffle.api.nodes.NodeClass

getNodeFields

protected Iterable<SubstrateField> getNodeFields()

Specified by:

getNodeFields in class com.oracle.truffle.api.nodes.NodeClass

putFieldObject

public void putFieldObject(Object field,
                           com.oracle.truffle.api.nodes.Node receiver,
                           Object value)

Specified by:

putFieldObject in class com.oracle.truffle.api.nodes.NodeClass

getFieldObject

public Object getFieldObject(Object field,
                             com.oracle.truffle.api.nodes.Node receiver)

Specified by:

getFieldObject in class com.oracle.truffle.api.nodes.NodeClass

getFieldValue

public Object getFieldValue(Object field,
                            com.oracle.truffle.api.nodes.Node node)

Specified by:

getFieldValue in class com.oracle.truffle.api.nodes.NodeClass

isChildField

public boolean isChildField(Object field)

Specified by:

isChildField in class com.oracle.truffle.api.nodes.NodeClass

isChildrenField

public boolean isChildrenField(Object field)

Specified by:

isChildrenField in class com.oracle.truffle.api.nodes.NodeClass

isCloneableField

public boolean isCloneableField(Object field)

Specified by:

isCloneableField in class com.oracle.truffle.api.nodes.NodeClass

getFieldType

public Class<?> getFieldType(Object field)

Specified by:

getFieldType in class com.oracle.truffle.api.nodes.NodeClass

getFieldName

public String getFieldName(Object field)

Specified by:

getFieldName in class com.oracle.truffle.api.nodes.NodeClass