com.oracle.graal.pointsto.meta

Class PointsToAnalysisType

java.lang.Object

com.oracle.graal.pointsto.meta.AnalysisElement

com.oracle.graal.pointsto.meta.AnalysisType

com.oracle.graal.pointsto.meta.PointsToAnalysisType

All Implemented Interfaces:

OriginalClassProvider, WrappedElement, WrappedJavaType, Comparable<AnalysisType>, AnnotatedElement

public class PointsToAnalysisType
extends AnalysisType

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.meta.AnalysisType

AnalysisType.InstanceFieldsInterceptor, AnalysisType.UsageKind

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.meta.AnalysisElement

AnalysisElement.ElementNotification, AnalysisElement.MethodOverrideReachableNotification, AnalysisElement.ReachabilityReason, AnalysisElement.ReachabilityTraceBuilder, AnalysisElement.SubtypeReachableNotification

Field Summary

Fields inherited from class com.oracle.graal.pointsto.meta.AnalysisType

assignableTypesNonNullState, assignableTypesState, instantiatedTypes, instantiatedTypesNonNull, universe

Method Summary

Modifier and Type	Method and Description
void	cleanupAfterAnalysis()
OffsetStoreTypeFlow.StoreIndexedTypeFlow	initAndGetContextInsensitiveIndexedStore(PointsToAnalysis bb, BytecodePosition originalLocation)
OffsetStoreTypeFlow.UnsafeStoreTypeFlow	initAndGetContextInsensitiveUnsafeStore(PointsToAnalysis bb, BytecodePosition originalLocation)
void	registerAsAssignable(BigBang bb) Register the type as assignable with all its super types.

Methods inherited from class com.oracle.graal.pointsto.meta.AnalysisType

addAssignableType, addInstanceFieldsInterceptor, clearInstanceFieldsCache, compareTo, declaresDefaultMethods, ensureOnTypeReachableTaskDone, equals, findInstanceFieldWithOffset, findLeafConcreteSubtype, findLeastCommonAncestor, findMethod, findUniqueConcreteMethod, forAllSuperTypes, forAllSuperTypes, getAllocatedReason, getAllSubtypes, getArrayClass, getArrayClass, getArrayDimension, getAssignableTypes, getCachedConstantObject, getClassInitializer, getComponentType, getContextInsensitiveAnalysisObject, getDeclaredConstructors, getDeclaredConstructors, getDeclaredMethods, getDeclaredMethods, getElementalType, getEnclosingType, getHostClass, getId, getInHeapReason, getInitializeMetaDataTask, getInstanceFields, getInterfaces, getJavaClass, getJavaKind, getModifiers, getName, getOrComputeData, getOverrideReachabilityNotifications, getReachabilityListenerNotified, getReachableReason, getSingleImplementor, getSourceFileName, getStaticFields, getStorageKind, getSubTypes, getSuperclass, getTypeFlow, getUniqueConstantObject, getUniverse, getWrapped, getWrappedWithResolve, hasDefaultMethods, hasFinalizableSubclass, hasFinalizer, hashCode, hasSubTypes, initialize, isAllocated, isAnnotation, isAnySubtypeInstantiated, isArray, isAssignableFrom, isCloneableWithAllocation, isEnum, isInHeap, isInitialized, isInstance, isInstanceClass, isInstantiated, isInterface, isJavaLangObject, isLinked, isLocal, isMember, isPrimitive, isReachable, isWordType, link, notifyInstantiatedCallbacks, onInstantiated, onReachable, registerAsAllocated, registerAsInHeap, registerAsReachable, registerInstantiatedCallback, registerOverrideReachabilityNotification, registerSubtypeReachabilityNotification, registerUnsafeAccessedField, registerUnsafeFieldsRecomputed, resolve, resolveConcreteMethod, resolveConcreteMethod, resolveMethod, setReachabilityListenerNotified, toJavaName, toJavaName, toString, unsafeAccessedFields, unsafeAccessedFields, unsafeFieldsRecomputed, verifyAssignableTypes

Methods inherited from class com.oracle.graal.pointsto.meta.AnalysisElement

execute, getAnnotation, getAnnotations, getDeclaredAnnotation, getDeclaredAnnotations, isAnnotationPresent, isTriggered, notifyReachabilityCallback, notifyReachabilityCallbacks, registerReachabilityNotification

Methods inherited from class java.lang.Object

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

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

getJavaClass

Methods inherited from interface java.lang.reflect.AnnotatedElement

getAnnotationsByType, getDeclaredAnnotationsByType

Method Detail

registerAsAssignable

public void registerAsAssignable(BigBang bb)

Description copied from class: AnalysisType

Register the type as assignable with all its super types. This is a blocking call to ensure that the type is registered with all its super types before it is propagated by the analysis through type flows.

Overrides:

registerAsAssignable in class AnalysisType

See Also:

AnalysisType.registerAsAssignable(BigBang)

initAndGetContextInsensitiveUnsafeStore

public OffsetStoreTypeFlow.UnsafeStoreTypeFlow initAndGetContextInsensitiveUnsafeStore(PointsToAnalysis bb,
                                                                                       BytecodePosition originalLocation)

initAndGetContextInsensitiveIndexedStore

public OffsetStoreTypeFlow.StoreIndexedTypeFlow initAndGetContextInsensitiveIndexedStore(PointsToAnalysis bb,
                                                                                         BytecodePosition originalLocation)

cleanupAfterAnalysis

public void cleanupAfterAnalysis()

Overrides:

cleanupAfterAnalysis in class AnalysisType