com.oracle.graal.pointsto

Interface ReachabilityAnalysis

All Known Subinterfaces:

BigBang

All Known Implementing Classes:

PointsToAnalysis

public interface ReachabilityAnalysis

Interface to be used to query and change the state of the static analysis in Native Image. It is a first small step in a bigger effort to group together all requests changing the analysis state.

Method Summary

Modifier and Type	Method and Description
AnalysisType	addRootClass(Class<?> clazz, boolean addFields, boolean addArrayClass) Marks given class and all its superclasses as reachable.
AnalysisType	addRootField(Class<?> clazz, String fieldName) Marks given field as accessed.
AnalysisMethod	addRootMethod(AnalysisMethod aMethod) Marks given method as reachable.
AnalysisMethod	addRootMethod(Class<?> clazz, String methodName, Class<?>... parameterTypes) Marks given method as reachable.
AnalysisMethod	addRootMethod(Executable method) Marks given method as reachable.
AnalysisPolicy	analysisPolicy()
void	cleanupAfterAnalysis() Clears all intermediary data to reduce the footprint.
boolean	finish() Waits until the analysis is done.
void	forceUnsafeUpdate(AnalysisField field) Force update of the unsafe loads and unsafe store type flows when a field is registered as unsafe accessed 'on the fly', i.e., during the analysis.
TypeState	getAllSynchronizedTypeState()
AnalysisMetaAccess	getMetaAccess()
AnalysisUniverse	getUniverse()
void	registerAsJNIAccessed(AnalysisField field, boolean writable) Performs any necessary additional steps required by the analysis to handle JNI accessed fields.

Method Detail

addRootClass

AnalysisType addRootClass(Class<?> clazz,
                          boolean addFields,
                          boolean addArrayClass)

Marks given class and all its superclasses as reachable.

Parameters:

clazz - class to be marked

addFields - if true, all instance fiels are marked as accessed

addArrayClass - if true, the array class is registered as well

addRootField

AnalysisType addRootField(Class<?> clazz,
                          String fieldName)

Marks given field as accessed.

addRootMethod

AnalysisMethod addRootMethod(AnalysisMethod aMethod)

Marks given method as reachable.

addRootMethod

AnalysisMethod addRootMethod(Executable method)

Marks given method as reachable.

addRootMethod

AnalysisMethod addRootMethod(Class<?> clazz,
                             String methodName,
                             Class<?>... parameterTypes)

Marks given method as reachable.

finish

boolean finish()
        throws InterruptedException

Waits until the analysis is done.

Throws:

InterruptedException

cleanupAfterAnalysis

void cleanupAfterAnalysis()

Clears all intermediary data to reduce the footprint.

forceUnsafeUpdate

void forceUnsafeUpdate(AnalysisField field)

Force update of the unsafe loads and unsafe store type flows when a field is registered as unsafe accessed 'on the fly', i.e., during the analysis.

Parameters:

field - the newly unsafe registered field. We use its declaring type to filter the unsafe access flows that need to be updated.

registerAsJNIAccessed

void registerAsJNIAccessed(AnalysisField field,
                           boolean writable)

Performs any necessary additional steps required by the analysis to handle JNI accessed fields.

getAllSynchronizedTypeState

TypeState getAllSynchronizedTypeState()

Returns:

typestate representing all types that need synchronization

getMetaAccess

AnalysisMetaAccess getMetaAccess()

Returns:

query interface used for looking up analysis objects from java.lang.reflect references

getUniverse

AnalysisUniverse getUniverse()

Returns:

universe containing all known analysis types

analysisPolicy

AnalysisPolicy analysisPolicy()

Returns:

policy used when running the analysis