com.oracle.svm.core.meta

Interface SharedType

All Superinterfaces:

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

All Known Implementing Classes:

HostedArrayClass, HostedClass, HostedInstanceClass, HostedInterface, HostedPrimitiveType, HostedType, SubstrateType

public interface SharedType
extends jdk.vm.ci.meta.ResolvedJavaType

The type interface which is both used in the hosted and substrate worlds.

Method Summary

Modifier and Type	Method and Description
default jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaMethod>	findUniqueConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m)
DynamicHub	getHub()
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.JavaKind	getStorageKind() The kind of the field in memory (in contrast to JavaType.getJavaKind(), which is the kind of the field on the Java type system level).
default jdk.vm.ci.meta.ResolvedJavaMethod	resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m, jdk.vm.ci.meta.ResolvedJavaType callerType)
default jdk.vm.ci.meta.ResolvedJavaMethod	resolveMethod(jdk.vm.ci.meta.ResolvedJavaMethod method, jdk.vm.ci.meta.ResolvedJavaType callerType)

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

findInstanceFieldWithOffset, findLeafConcreteSubtype, findLeastCommonAncestor, findMethod, getArrayClass, getClassInitializer, getComponentType, getDeclaredConstructors, getDeclaredMethods, getElementalType, getEnclosingType, getHostClass, getInstanceFields, getInterfaces, getSingleImplementor, getSourceFileName, getStaticFields, getSuperclass, hasFinalizableSubclass, hasFinalizer, initialize, isAssignableFrom, isCloneableWithAllocation, isEnum, isInitialized, isInstance, isInstanceClass, isInterface, isJavaLangObject, isLeaf, isLinked, isLocal, isMember, isPrimitive, lookupType, resolveField

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

getJavaKind, getName, getUnqualifiedName, isArray, resolve, toClassName, toJavaName, toJavaName

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

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

Methods inherited from interface java.lang.reflect.AnnotatedElement

getAnnotation, getAnnotations, getAnnotationsByType, getDeclaredAnnotation, getDeclaredAnnotations, getDeclaredAnnotationsByType, isAnnotationPresent

Method Detail

getHub

DynamicHub getHub()

getInstanceOfFromTypeID

int getInstanceOfFromTypeID()

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.

getInstanceOfNumTypeIDs

int getInstanceOfNumTypeIDs()

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

See Also:

SharedType.getInstanceOfFromTypeID()

getStorageKind

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

The kind of the field in memory (in contrast to JavaType.getJavaKind(), which is the kind of the field on the Java type system level).

resolveMethod

default jdk.vm.ci.meta.ResolvedJavaMethod resolveMethod(jdk.vm.ci.meta.ResolvedJavaMethod method,
                                                        jdk.vm.ci.meta.ResolvedJavaType callerType)

Specified by:

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

resolveConcreteMethod

default jdk.vm.ci.meta.ResolvedJavaMethod resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m,
                                                                jdk.vm.ci.meta.ResolvedJavaType callerType)

Specified by:

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

findUniqueConcreteMethod

default jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaMethod> findUniqueConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod m)

Specified by:

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