com.oracle.graal.pointsto.meta

Class AnalysisUniverse

java.lang.Object

com.oracle.graal.pointsto.meta.AnalysisUniverse

All Implemented Interfaces:

Universe

public class AnalysisUniverse
extends Object
implements Universe

Field Summary

Fields

Modifier and Type	Field and Description
static int	ESTIMATED_NUMBER_OF_TYPES
protected HostVM	hostVM
protected SubstitutionProcessor	substitutions

Constructor Summary

Constructors

Constructor and Description
AnalysisUniverse(HostVM hostVM, JavaKind wordKind, AnalysisPolicy analysisPolicy, SubstitutionProcessor substitutions, MetaAccessProvider originalMetaAccess, org.graalvm.compiler.api.replacements.SnippetReflectionProvider snippetReflection, AnalysisFactory analysisFactory, org.graalvm.nativeimage.impl.AnnotationExtractor annotationExtractor)

Method Summary

Modifier and Type	Method and Description
AnalysisPolicy	analysisPolicy()
protected org.graalvm.nativeimage.impl.AnnotationExtractor	getAnnotationExtractor()
BigBang	getBigbang()
org.graalvm.nativeimage.hosted.Feature.DuringAnalysisAccess	getConcurrentAnalysisAccess()
Map<JavaConstant,BytecodePosition>	getEmbeddedRoots()
SubstitutionProcessor[]	getFeatureNativeSubstitutions()
SubstitutionProcessor[]	getFeatureSubstitutions()
AnalysisField	getField(ResolvedJavaField resolvedJavaField)
Collection<AnalysisField>	getFields()
ImageHeapScanner	getHeapScanner()
HeapSnapshotVerifier	getHeapVerifier()
AnalysisMethod	getMethod(ResolvedJavaMethod resolvedJavaMethod)
static Set<AnalysisMethod>	getMethodImplementations(AnalysisMethod method, boolean includeInlinedMethods)
Collection<AnalysisMethod>	getMethods()
int	getNextMethodId()
int	getNextTypeId()
MetaAccessProvider	getOriginalMetaAccess()
int	getReachableTypes()
org.graalvm.compiler.api.replacements.SnippetReflectionProvider	getSnippetReflection()
SubstitutionProcessor	getSubstitutions()
AnalysisType	getType(int typeId)
List<AnalysisType>	getTypes()
Set<AnalysisField>	getUnsafeAccessedStaticFields()
JavaKind	getWordKind()
HostVM	hostVM()
void	initializeMetaData(AnalysisType type)
WrappedConstantPool	lookup(ConstantPool constantPool, ResolvedJavaType defaultAccessingClass)
JavaConstant	lookup(JavaConstant constant)
AnalysisField	lookup(JavaField field)
AnalysisMethod	lookup(JavaMethod method)
AnalysisMethod[]	lookup(JavaMethod[] inputs)
AnalysisType	lookup(JavaType type)
WrappedSignature	lookup(Signature signature, ResolvedJavaType defaultAccessingClass)
JavaField	lookupAllowUnresolved(JavaField rawField)
JavaMethod	lookupAllowUnresolved(JavaMethod rawMethod)
JavaType	lookupAllowUnresolved(JavaType rawType)
void	notifyReachableType()
AnalysisType	objectType()
void	onFieldAccessed(AnalysisField field)
void	onTypeInstantiated(AnalysisType type, AnalysisType.UsageKind usage)
void	onTypeReachable(AnalysisType type)
AnalysisType	optionalLookup(ResolvedJavaType type)
static Set<AnalysisMethod>	reachableMethodOverrides(AnalysisMethod baseMethod)
static Set<AnalysisType>	reachableSubtypes(AnalysisType baseType) Collect and returns *all reachable* subtypes of this type, not only the immediate subtypes.
void	registerEmbeddedRoot(JavaConstant root, BytecodePosition position) Register an embedded root, i.e., a JavaConstant embedded in a Graal graph via a ConstantNode.
void	registerFeatureNativeSubstitution(SubstitutionProcessor substitution)
void	registerFeatureSubstitution(SubstitutionProcessor substitution)
void	registerObjectReplacer(Function<Object,Object> replacer)
void	registerUnsafeAccessedStaticField(AnalysisField field)
Object	replaceObject(Object source) Invokes all registered object replacers for an object.
ResolvedJavaMethod	resolveSubstitution(ResolvedJavaMethod method)
void	seal()
boolean	sealed()
void	setAnalysisDataValid(boolean dataIsValid)
void	setBigBang(BigBang bb)
void	setConcurrentAnalysisAccess(org.graalvm.nativeimage.hosted.Feature.DuringAnalysisAccess access)
void	setHeapScanner(ImageHeapScanner heapScanner)
void	setHeapVerifier(HeapSnapshotVerifier heapVerifier)
JavaConstant	toHosted(JavaConstant constant)

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hostVM

protected final HostVM hostVM

ESTIMATED_NUMBER_OF_TYPES

public static final int ESTIMATED_NUMBER_OF_TYPES

See Also:

Constant Field Values

substitutions

protected final SubstitutionProcessor substitutions

Constructor Detail

AnalysisUniverse

public AnalysisUniverse(HostVM hostVM,
                        JavaKind wordKind,
                        AnalysisPolicy analysisPolicy,
                        SubstitutionProcessor substitutions,
                        MetaAccessProvider originalMetaAccess,
                        org.graalvm.compiler.api.replacements.SnippetReflectionProvider snippetReflection,
                        AnalysisFactory analysisFactory,
                        org.graalvm.nativeimage.impl.AnnotationExtractor annotationExtractor)

Method Detail

getWordKind

public JavaKind getWordKind()

hostVM

public HostVM hostVM()

Specified by:

hostVM in interface Universe

getAnnotationExtractor

protected org.graalvm.nativeimage.impl.AnnotationExtractor getAnnotationExtractor()

getNextTypeId

public int getNextTypeId()

getNextMethodId

public int getNextMethodId()

seal

public void seal()

sealed

public boolean sealed()

setAnalysisDataValid

public void setAnalysisDataValid(boolean dataIsValid)

optionalLookup

public AnalysisType optionalLookup(ResolvedJavaType type)

lookup

public AnalysisType lookup(JavaType type)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public JavaType lookupAllowUnresolved(JavaType rawType)

Specified by:

lookupAllowUnresolved in interface Universe

lookup

public AnalysisField lookup(JavaField field)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public JavaField lookupAllowUnresolved(JavaField rawField)

Specified by:

lookupAllowUnresolved in interface Universe

lookup

public AnalysisMethod lookup(JavaMethod method)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public JavaMethod lookupAllowUnresolved(JavaMethod rawMethod)

Specified by:

lookupAllowUnresolved in interface Universe

lookup

public AnalysisMethod[] lookup(JavaMethod[] inputs)

Specified by:

lookup in interface Universe

lookup

public WrappedSignature lookup(Signature signature,
                               ResolvedJavaType defaultAccessingClass)

Specified by:

lookup in interface Universe

lookup

public WrappedConstantPool lookup(ConstantPool constantPool,
                                  ResolvedJavaType defaultAccessingClass)

Specified by:

lookup in interface Universe

lookup

public JavaConstant lookup(JavaConstant constant)

Specified by:

lookup in interface Universe

toHosted

public JavaConstant toHosted(JavaConstant constant)

getTypes

public List<AnalysisType> getTypes()

getType

public AnalysisType getType(int typeId)

getFields

public Collection<AnalysisField> getFields()

getField

public AnalysisField getField(ResolvedJavaField resolvedJavaField)

getMethods

public Collection<AnalysisMethod> getMethods()

getMethod

public AnalysisMethod getMethod(ResolvedJavaMethod resolvedJavaMethod)

getEmbeddedRoots

public Map<JavaConstant,BytecodePosition> getEmbeddedRoots()

registerEmbeddedRoot

public void registerEmbeddedRoot(JavaConstant root,
                                 BytecodePosition position)

Register an embedded root, i.e., a JavaConstant embedded in a Graal graph via a ConstantNode.

registerUnsafeAccessedStaticField

public void registerUnsafeAccessedStaticField(AnalysisField field)

getUnsafeAccessedStaticFields

public Set<AnalysisField> getUnsafeAccessedStaticFields()

registerObjectReplacer

public void registerObjectReplacer(Function<Object,Object> replacer)

registerFeatureSubstitution

public void registerFeatureSubstitution(SubstitutionProcessor substitution)

getFeatureSubstitutions

public SubstitutionProcessor[] getFeatureSubstitutions()

registerFeatureNativeSubstitution

public void registerFeatureNativeSubstitution(SubstitutionProcessor substitution)

getFeatureNativeSubstitutions

public SubstitutionProcessor[] getFeatureNativeSubstitutions()

replaceObject

public Object replaceObject(Object source)

Invokes all registered object replacers for an object.

Parameters:

source - The source object

Returns:

The replaced object or the original source, if the source is not replaced by any registered replacer.

reachableMethodOverrides

public static Set<AnalysisMethod> reachableMethodOverrides(AnalysisMethod baseMethod)

getMethodImplementations

public static Set<AnalysisMethod> getMethodImplementations(AnalysisMethod method,
                                                           boolean includeInlinedMethods)

reachableSubtypes

public static Set<AnalysisType> reachableSubtypes(AnalysisType baseType)

Collect and returns *all reachable* subtypes of this type, not only the immediate subtypes. To access the immediate sub-types use AnalysisType.getSubTypes(). Since the sub-types are updated continuously as the universe is expanded this method may return different results on each call, until the analysis universe reaches a stable state.

getSnippetReflection

public org.graalvm.compiler.api.replacements.SnippetReflectionProvider getSnippetReflection()

Specified by:

getSnippetReflection in interface Universe

resolveSubstitution

public ResolvedJavaMethod resolveSubstitution(ResolvedJavaMethod method)

Specified by:

resolveSubstitution in interface Universe

objectType

public AnalysisType objectType()

Specified by:

objectType in interface Universe

onFieldAccessed

public void onFieldAccessed(AnalysisField field)

onTypeInstantiated

public void onTypeInstantiated(AnalysisType type,
                               AnalysisType.UsageKind usage)

onTypeReachable

public void onTypeReachable(AnalysisType type)

initializeMetaData

public void initializeMetaData(AnalysisType type)

getSubstitutions

public SubstitutionProcessor getSubstitutions()

analysisPolicy

public AnalysisPolicy analysisPolicy()

getOriginalMetaAccess

public MetaAccessProvider getOriginalMetaAccess()

setBigBang

public void setBigBang(BigBang bb)

getBigbang

public BigBang getBigbang()

setConcurrentAnalysisAccess

public void setConcurrentAnalysisAccess(org.graalvm.nativeimage.hosted.Feature.DuringAnalysisAccess access)

getConcurrentAnalysisAccess

public org.graalvm.nativeimage.hosted.Feature.DuringAnalysisAccess getConcurrentAnalysisAccess()

setHeapScanner

public void setHeapScanner(ImageHeapScanner heapScanner)

getHeapScanner

public ImageHeapScanner getHeapScanner()

setHeapVerifier

public void setHeapVerifier(HeapSnapshotVerifier heapVerifier)

getHeapVerifier

public HeapSnapshotVerifier getHeapVerifier()

notifyReachableType

public void notifyReachableType()

getReachableTypes

public int getReachableTypes()