com.oracle.graal.pointsto.meta

Class PointsToAnalysisMethod

java.lang.Object

com.oracle.graal.pointsto.meta.AnalysisElement

com.oracle.graal.pointsto.meta.AnalysisMethod

com.oracle.graal.pointsto.meta.PointsToAnalysisMethod

All Implemented Interfaces:

GraphProvider, OriginalMethodProvider, WrappedElement, WrappedJavaMethod, com.oracle.svm.common.meta.MultiMethod, AnnotatedElement

public final class PointsToAnalysisMethod
extends AnalysisMethod

Nested Class Summary

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

AnalysisMethod.Signature

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

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

Nested classes/interfaces inherited from interface com.oracle.graal.pointsto.infrastructure.GraphProvider

GraphProvider.Purpose

Nested classes/interfaces inherited from interface com.oracle.svm.common.meta.MultiMethod

com.oracle.svm.common.meta.MultiMethod.MultiMethodKey

Field Summary

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

declaringClass, implementations, wrapped

Fields inherited from interface com.oracle.svm.common.meta.MultiMethod

DEOPT_TARGET_METHOD, ORIGINAL_METHOD

Constructor Summary

Constructors

Constructor and Description
PointsToAnalysisMethod(AnalysisUniverse universe, ResolvedJavaMethod wrapped)

Method Summary

Modifier and Type	Method and Description
void	cleanupAfterAnalysis()
protected AnalysisMethod	createMultiMethod(AnalysisMethod analysisMethod, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey newMultiMethodKey)
InvokeTypeFlow	getContextInsensitiveVirtualInvoke(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
List<BytecodePosition>	getInvokeLocations() Get the list of all invoke locations for this method, as inferred by the static analysis.
Iterable<? extends InvokeInfo>	getInvokes()
Object	getParsingReason()
MethodTypeFlow	getTypeFlow()
InvokeTypeFlow	initAndGetContextInsensitiveInvoke(PointsToAnalysis bb, BytecodePosition originalLocation, boolean isSpecial, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
boolean	isImplementationInvokable()
boolean	registerAsImplementationInvoked(Object reason)
boolean	registerAsInvoked(Object reason)
void	setReturnsAllInstantiatedTypes() This should only be set via calling FeatureImpl.BeforeAnalysisAccessImpl#registerOpaqueMethodReturn.
void	startTrackInvocations()
static Object	unwrapInvokeReason(Object reason) In general the reason for a method invocation is an InvokeTypeFlow.

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

allowRuntimeCompilation, asStackTraceElement, buildGraph, canBeInlined, canBeStaticallyBound, decodeAnalyzedGraph, ensureGraphParsed, equals, getAllMultiMethods, getAnalyzedGraph, getCallers, getCode, getCodeSize, getConstantPool, getDeclaringClass, getEncoding, getEntryPointData, getExceptionHandlers, getGenericParameterTypes, getId, getImplementationInvokedReason, getImplementations, getInlinedReason, getIntrinsicMethodReason, getInvokedReason, getJavaMethod, getLineNumberTable, getLocalVariableTable, getMaxLocals, getMaxStackSize, getModifiers, getMultiMethod, getMultiMethodKey, getName, getOrCreateMultiMethod, getOrCreateMultiMethod, getParameterAnnotations, getParameters, getParsingContext, getProfilingInfo, getQualifiedName, getReturnsAllInstantiatedTypes, getSignature, getSpeculationLog, getUniverse, getWrapped, hashCode, hasNeverInlineDirective, isBridge, isClassInitializer, isConstructor, isDefault, isDirectRootMethod, isEntryPoint, isImplementationInvoked, isInlined, isIntrinsicMethod, isInVirtualMethodTable, isInvoked, isReachable, isSimplyImplementationInvoked, isSynthetic, isTriggered, isVarArgs, isVirtualRootMethod, notifyImplementationInvokedCallbacks, notifyMethodOverride, onImplementationInvoked, onReachable, registerAsDirectRootMethod, registerAsEntryPoint, registerAsInlined, registerAsIntrinsicMethod, registerAsVirtualRootMethod, registerImplementationInvokedCallback, registerOverrideReachabilityNotification, reparseGraph, reprofile, resolveInType, resolveInType, setAnalyzedGraph, shouldBeInlined, toString

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

execute, getAnnotation, getAnnotations, getDeclaredAnnotation, getDeclaredAnnotations, isAnnotationPresent, 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.OriginalMethodProvider

getJavaMethod

Methods inherited from interface com.oracle.svm.common.meta.MultiMethod

isDeoptTarget, isDeoptTarget, isOriginalMethod, isOriginalMethod

Methods inherited from interface java.lang.reflect.AnnotatedElement

getAnnotationsByType, getDeclaredAnnotationsByType

Constructor Detail

PointsToAnalysisMethod

public PointsToAnalysisMethod(AnalysisUniverse universe,
                              ResolvedJavaMethod wrapped)

Method Detail

createMultiMethod

protected AnalysisMethod createMultiMethod(AnalysisMethod analysisMethod,
                                           com.oracle.svm.common.meta.MultiMethod.MultiMethodKey newMultiMethodKey)

Specified by:

createMultiMethod in class AnalysisMethod

startTrackInvocations

public void startTrackInvocations()

Specified by:

startTrackInvocations in class AnalysisMethod

getTypeFlow

public MethodTypeFlow getTypeFlow()

registerAsInvoked

public boolean registerAsInvoked(Object reason)

Overrides:

registerAsInvoked in class AnalysisMethod

registerAsImplementationInvoked

public boolean registerAsImplementationInvoked(Object reason)

Overrides:

registerAsImplementationInvoked in class AnalysisMethod

unwrapInvokeReason

public static Object unwrapInvokeReason(Object reason)

In general the reason for a method invocation is an InvokeTypeFlow. Special and virtual root methods have the corresponding context-insensitive invoke reason set. Static root method doesn't have any reason set.

getInvokeLocations

public List<BytecodePosition> getInvokeLocations()

Description copied from class: AnalysisMethod

Get the list of all invoke locations for this method, as inferred by the static analysis.

Specified by:

getInvokeLocations in class AnalysisMethod

getInvokes

public Iterable<? extends InvokeInfo> getInvokes()

Specified by:

getInvokes in class AnalysisMethod

Returns:

analysis related invoke information for given method, mainly the possible callees to traverse the call graph

getParsingReason

public Object getParsingReason()

Specified by:

getParsingReason in class AnalysisMethod

Returns:

the position of the invocation that triggered parsing for this method, or null

initAndGetContextInsensitiveInvoke

public InvokeTypeFlow initAndGetContextInsensitiveInvoke(PointsToAnalysis bb,
                                                         BytecodePosition originalLocation,
                                                         boolean isSpecial,
                                                         com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

getContextInsensitiveVirtualInvoke

public InvokeTypeFlow getContextInsensitiveVirtualInvoke(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

cleanupAfterAnalysis

public void cleanupAfterAnalysis()

Overrides:

cleanupAfterAnalysis in class AnalysisMethod

isImplementationInvokable

public boolean isImplementationInvokable()

Specified by:

isImplementationInvokable in class AnalysisMethod

setReturnsAllInstantiatedTypes

public void setReturnsAllInstantiatedTypes()

Description copied from class: AnalysisMethod

This should only be set via calling FeatureImpl.BeforeAnalysisAccessImpl#registerOpaqueMethodReturn.

Overrides:

setReturnsAllInstantiatedTypes in class AnalysisMethod