com.oracle.svm.hosted.annotation

Class ConstantAnnotationMarkerSubstitutionType

java.lang.Object

com.oracle.svm.hosted.annotation.ConstantAnnotationMarkerSubstitutionType

All Implemented Interfaces:

com.oracle.graal.pointsto.infrastructure.OriginalClassProvider, AnnotatedElement, jdk.vm.ci.meta.JavaType, jdk.vm.ci.meta.ModifiersProvider, jdk.vm.ci.meta.ResolvedJavaType

public class ConstantAnnotationMarkerSubstitutionType
extends Object
implements jdk.vm.ci.meta.ResolvedJavaType, com.oracle.graal.pointsto.infrastructure.OriginalClassProvider

This class is used to correct the behavior of ResolvedJavaType.isAssignableFrom(ResolvedJavaType) for AnnotationSupport.constantAnnotationMarkerInterface. For all other methods, this class simply forwards calls to the original ResolvedJavaType. See AnnotationSupport#constantAnnotationMarkerSubstitutionType for more details.

Constructor Summary

Constructors

Constructor and Description
ConstantAnnotationMarkerSubstitutionType(jdk.vm.ci.meta.ResolvedJavaType original, com.oracle.graal.pointsto.infrastructure.SubstitutionProcessor substitutionProcessor)

Method Summary

Modifier and Type	Method and Description
boolean	declaresDefaultMethods()
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)
jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaMethod>	findUniqueConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod method)
<T extends Annotation> T	getAnnotation(Class<T> annotationClass)
Annotation[]	getAnnotations()
jdk.vm.ci.meta.ResolvedJavaType	getArrayClass()
jdk.vm.ci.meta.ResolvedJavaMethod	getClassInitializer()
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()
jdk.vm.ci.meta.ResolvedJavaType	getHostClass()
jdk.vm.ci.meta.ResolvedJavaField[]	getInstanceFields(boolean includeSuperclasses)
jdk.vm.ci.meta.ResolvedJavaType[]	getInterfaces()
Class<?>	getJavaClass()
jdk.vm.ci.meta.JavaKind	getJavaKind()
int	getModifiers()
String	getName()
jdk.vm.ci.meta.ResolvedJavaType	getSingleImplementor()
String	getSourceFileName()
jdk.vm.ci.meta.ResolvedJavaField[]	getStaticFields()
jdk.vm.ci.meta.ResolvedJavaType	getSuperclass()
boolean	hasDefaultMethods()
jdk.vm.ci.meta.Assumptions.AssumptionResult<Boolean>	hasFinalizableSubclass()
boolean	hasFinalizer()
void	initialize()
boolean	isAssignableFrom(jdk.vm.ci.meta.ResolvedJavaType other) Since AnnotationSubstitutionTypes do not naturally implement the constant marker interface, but are artificially forced to implement it via AnnotationObjectReplacer#replacementComputer(Object), they should not be considered assignable from the marker interface.
boolean	isCloneableWithAllocation()
boolean	isEnum()
boolean	isInitialized()
boolean	isInstance(jdk.vm.ci.meta.JavaConstant obj)
boolean	isInstanceClass()
boolean	isInterface()
boolean	isLinked()
boolean	isLocal()
boolean	isMember()
boolean	isPrimitive()
void	link()
jdk.vm.ci.meta.ResolvedJavaType	resolve(jdk.vm.ci.meta.ResolvedJavaType accessingClass)
jdk.vm.ci.meta.ResolvedJavaMethod	resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod method, jdk.vm.ci.meta.ResolvedJavaType callerType)
jdk.vm.ci.meta.ResolvedJavaMethod	resolveMethod(jdk.vm.ci.meta.ResolvedJavaMethod method, jdk.vm.ci.meta.ResolvedJavaType callerType)

Methods inherited from class java.lang.Object

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

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

findMethod, getElementalType, isJavaLangObject, isLeaf, 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

Constructor Detail

ConstantAnnotationMarkerSubstitutionType

public ConstantAnnotationMarkerSubstitutionType(jdk.vm.ci.meta.ResolvedJavaType original,
                                                com.oracle.graal.pointsto.infrastructure.SubstitutionProcessor substitutionProcessor)

Method Detail

isAssignableFrom

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

Since AnnotationSubstitutionTypes do not naturally implement the constant marker interface, but are artificially forced to implement it via AnnotationObjectReplacer#replacementComputer(Object), they should not be considered assignable from the marker interface.

Specified by:

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

getJavaClass

public Class<?> getJavaClass()

Specified by:

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

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

getModifiers

public int getModifiers()

Specified by:

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

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

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

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

isLinked

public boolean isLinked()

Specified by:

isLinked 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

isInstance

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

Specified by:

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

getSuperclass

public jdk.vm.ci.meta.ResolvedJavaType 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

getSingleImplementor

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

Specified by:

getSingleImplementor 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

findLeafConcreteSubtype

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

Specified by:

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

getName

public String getName()

Specified by:

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

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

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

resolveMethod

public 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

public jdk.vm.ci.meta.ResolvedJavaMethod resolveConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod method,
                                                               jdk.vm.ci.meta.ResolvedJavaType callerType)

Specified by:

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

findUniqueConcreteMethod

public jdk.vm.ci.meta.Assumptions.AssumptionResult<jdk.vm.ci.meta.ResolvedJavaMethod> findUniqueConcreteMethod(jdk.vm.ci.meta.ResolvedJavaMethod method)

Specified by:

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

getInstanceFields

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

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

link

public void link()

Specified by:

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

hasDefaultMethods

public boolean hasDefaultMethods()

Specified by:

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

declaresDefaultMethods

public boolean declaresDefaultMethods()

Specified by:

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

isCloneableWithAllocation

public boolean isCloneableWithAllocation()

Specified by:

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

getAnnotation

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

Specified by:

getAnnotation in interface AnnotatedElement

getAnnotations

public Annotation[] getAnnotations()

Specified by:

getAnnotations in interface AnnotatedElement

getDeclaredAnnotations

public Annotation[] getDeclaredAnnotations()

Specified by:

getDeclaredAnnotations in interface AnnotatedElement