com.oracle.graal.pointsto

Interface BigBang

All Superinterfaces:

HeapScanning, ReachabilityAnalysis

All Known Implementing Classes:

AbstractAnalysisEngine, PointsToAnalysis

public interface BigBang
extends ReachabilityAnalysis, HeapScanning

Central static analysis interface that groups together the functionality of reachability analysis and heap scanning and adds utility methods and lifecycle hooks that should be used to query and change the state of the analysis. In long term, all mutable accesses that change the state of the analysis should go through this interface.

See Also:

PointsToAnalysis

Method Summary

Modifier and Type	Method and Description
default void	afterAnalysis() Callback executed after the analysis finished.
void	checkUserLimitations() Checks if all user defined limitations such as the number of types are satisfied.
boolean	executorIsStarted()
boolean	extendedAsserts()
default AnalysisMethod	fallbackResolveConcreteMethod(AnalysisType resolvingType, AnalysisMethod method)
jdk.vm.ci.meta.ConstantReflectionProvider	getConstantReflectionProvider()
org.graalvm.compiler.debug.DebugContext	getDebug()
List<org.graalvm.compiler.debug.DebugHandlersFactory>	getDebugHandlerFactories()
Runnable	getHeartbeatCallback()
HostVM	getHostVM()
org.graalvm.compiler.options.OptionValues	getOptions()
default HostedProviders	getProviders(AnalysisMethod method)
HostedProviders	getProviders(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey key)
org.graalvm.compiler.api.replacements.SnippetReflectionProvider	getSnippetReflectionProvider()
UnsupportedFeatures	getUnsupportedFeatures()
org.graalvm.compiler.word.WordTypes	getWordTypes()
void	initializeMetaData(AnalysisType type)
default boolean	isCallAllowed(PointsToAnalysis bb, AnalysisMethod caller, AnalysisMethod target, jdk.vm.ci.code.BytecodePosition srcPosition) You can blacklist certain callees here.
default void	onFieldAccessed(AnalysisField field) Callback for when a field is marked as read, written, or unsafe accessed.
default void	onTypeInstantiated(AnalysisType type, AnalysisType.UsageKind usageKind)
default void	onTypeReachable(AnalysisType type)
void	postTask(CompletionExecutor.DebugContextRunnable task)
void	printTimerStatistics(PrintWriter out) Prints more detailed information about all analysis timers.
void	runAnalysis(org.graalvm.compiler.debug.DebugContext debug, Function<AnalysisUniverse,Boolean> duringAnalysisAction)
boolean	strengthenGraalGraphs()

Methods inherited from interface com.oracle.graal.pointsto.ReachabilityAnalysis

addRootClass, addRootClass, addRootField, addRootMethod, addRootMethod, analysisPolicy, cleanupAfterAnalysis, finish, forceUnsafeUpdate, getAllInstantiatedTypes, getAllSynchronizedTypes, getMetaAccess, getUniverse, markFieldAccessed, markFieldRead, markFieldWritten, registerAsFrozenUnsafeAccessed, registerAsJNIAccessed, registerAsUnsafeAccessed, registerTypeAsAllocated, registerTypeAsInHeap, registerTypeAsReachable

Methods inherited from interface com.oracle.graal.pointsto.HeapScanning

scanningPolicy, skippedHeapTypes

Method Detail

getHostVM

HostVM getHostVM()

getUnsupportedFeatures

UnsupportedFeatures getUnsupportedFeatures()

checkUserLimitations

void checkUserLimitations()

Checks if all user defined limitations such as the number of types are satisfied.

getOptions

org.graalvm.compiler.options.OptionValues getOptions()

getProviders

default HostedProviders getProviders(AnalysisMethod method)

getProviders

HostedProviders getProviders(com.oracle.svm.common.meta.MultiMethod.MultiMethodKey key)

getDebugHandlerFactories

List<org.graalvm.compiler.debug.DebugHandlersFactory> getDebugHandlerFactories()

printTimerStatistics

void printTimerStatistics(PrintWriter out)

Prints more detailed information about all analysis timers.

getConstantReflectionProvider

jdk.vm.ci.meta.ConstantReflectionProvider getConstantReflectionProvider()

getSnippetReflectionProvider

org.graalvm.compiler.api.replacements.SnippetReflectionProvider getSnippetReflectionProvider()

getWordTypes

org.graalvm.compiler.word.WordTypes getWordTypes()

getDebug

org.graalvm.compiler.debug.DebugContext getDebug()

getHeartbeatCallback

Runnable getHeartbeatCallback()

extendedAsserts

boolean extendedAsserts()

runAnalysis

void runAnalysis(org.graalvm.compiler.debug.DebugContext debug,
                 Function<AnalysisUniverse,Boolean> duringAnalysisAction)
          throws InterruptedException

Throws:

InterruptedException

strengthenGraalGraphs

boolean strengthenGraalGraphs()

isCallAllowed

default boolean isCallAllowed(PointsToAnalysis bb,
                              AnalysisMethod caller,
                              AnalysisMethod target,
                              jdk.vm.ci.code.BytecodePosition srcPosition)

You can blacklist certain callees here.

onFieldAccessed

default void onFieldAccessed(AnalysisField field)

Callback for when a field is marked as read, written, or unsafe accessed. See AnalysisField.isAccessed() for field accessibility definition.

onTypeInstantiated

default void onTypeInstantiated(AnalysisType type,
                                AnalysisType.UsageKind usageKind)

onTypeReachable

default void onTypeReachable(AnalysisType type)

postTask

void postTask(CompletionExecutor.DebugContextRunnable task)

executorIsStarted

boolean executorIsStarted()

initializeMetaData

void initializeMetaData(AnalysisType type)

afterAnalysis

default void afterAnalysis()

Callback executed after the analysis finished. The cleanupAfterAnalysis is executed after the universe builder, which can be too late for some tasks.

fallbackResolveConcreteMethod

default AnalysisMethod fallbackResolveConcreteMethod(AnalysisType resolvingType,
                                                     AnalysisMethod method)