com.oracle.graal.pointsto

Interface BigBang

All Superinterfaces:

HeapScanning, ReachabilityAnalysis

All Known Implementing Classes:

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
void	checkUserLimitations() Checks if all user defined limitations such as the number of types are satisfied.
boolean	extendedAsserts()
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()
HostedProviders	getProviders()
org.graalvm.compiler.api.replacements.SnippetReflectionProvider	getSnippetReflectionProvider()
UnsupportedFeatures	getUnsupportedFeatures()
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	onTypeInitialized(AnalysisType type)
default void	onTypeInstantiated(AnalysisType type, AnalysisType.UsageKind usageKind)
void	printTimers() Prints all analysis timers.
void	printTimerStatistics(PrintWriter out) Prints more detailed information about all analysis timers.
void	runAnalysis(org.graalvm.compiler.debug.DebugContext debug, Function<AnalysisUniverse,Boolean> duringAnalysisAction)

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

addRootClass, addRootField, addRootMethod, addRootMethod, analysisPolicy, cleanupAfterAnalysis, finish, forceUnsafeUpdate, getAllSynchronizedTypeState, getMetaAccess, getUniverse, registerAsJNIAccessed

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

HostedProviders getProviders()

getDebugHandlerFactories

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

printTimers

void printTimers()

Prints all analysis timers.

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()

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

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)

onTypeInitialized

default void onTypeInitialized(AnalysisType type)