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, jdk.vm.ci.meta.JavaKind wordKind, AnalysisPolicy analysisPolicy, SubstitutionProcessor substitutions, jdk.vm.ci.meta.MetaAccessProvider originalMetaAccess, org.graalvm.compiler.api.replacements.SnippetReflectionProvider originalSnippetReflection, org.graalvm.compiler.api.replacements.SnippetReflectionProvider snippetReflection, AnalysisFactory analysisFactory)

Method Summary

Modifier and Type	Method and Description
AnalysisPolicy	analysisPolicy()
static Set<AnalysisType>	getAllSubtypes(AnalysisType baseType) Collect and returns *all* subtypes of this type, not only the immediate subtypes.
BigBang	getBigbang()
Map<jdk.vm.ci.meta.JavaConstant,jdk.vm.ci.code.BytecodePosition>	getEmbeddedRoots()
SubstitutionProcessor[]	getFeatureNativeSubstitutions()
SubstitutionProcessor[]	getFeatureSubstitutions()
Collection<AnalysisField>	getFields()
static Set<AnalysisMethod>	getMethodImplementations(BigBang bb, AnalysisMethod method, boolean includeInlinedMethods)
Collection<AnalysisMethod>	getMethods()
int	getNextMethodId()
int	getNextTypeId()
jdk.vm.ci.meta.MetaAccessProvider	getOriginalMetaAccess()
org.graalvm.compiler.api.replacements.SnippetReflectionProvider	getOriginalSnippetReflection()
org.graalvm.compiler.api.replacements.SnippetReflectionProvider	getSnippetReflection()
jdk.vm.ci.meta.JavaKind	getStorageKind(jdk.vm.ci.meta.ResolvedJavaType type, jdk.vm.ci.meta.MetaAccessProvider metaAccess)
SubstitutionProcessor	getSubstitutions()
AnalysisType	getType(int typeId)
List<AnalysisType>	getTypes()
Set<AnalysisField>	getUnsafeAccessedStaticFields()
jdk.vm.ci.meta.JavaKind	getWordKind()
HostVM	hostVM()
WrappedConstantPool	lookup(jdk.vm.ci.meta.ConstantPool constantPool, WrappedJavaType defaultAccessingClass)
jdk.vm.ci.meta.JavaConstant	lookup(jdk.vm.ci.meta.JavaConstant constant)
AnalysisField	lookup(jdk.vm.ci.meta.JavaField field)
AnalysisMethod	lookup(jdk.vm.ci.meta.JavaMethod method)
AnalysisMethod[]	lookup(jdk.vm.ci.meta.JavaMethod[] inputs)
AnalysisType	lookup(jdk.vm.ci.meta.JavaType type)
WrappedSignature	lookup(jdk.vm.ci.meta.Signature signature, WrappedJavaType defaultAccessingClass)
jdk.vm.ci.meta.JavaField	lookupAllowUnresolved(jdk.vm.ci.meta.JavaField rawField)
jdk.vm.ci.meta.JavaMethod	lookupAllowUnresolved(jdk.vm.ci.meta.JavaMethod rawMethod)
jdk.vm.ci.meta.JavaType	lookupAllowUnresolved(jdk.vm.ci.meta.JavaType rawType)
AnalysisType	objectType()
AnalysisType	optionalLookup(jdk.vm.ci.meta.ResolvedJavaType type)
void	registerEmbeddedRoot(jdk.vm.ci.meta.JavaConstant root, jdk.vm.ci.code.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.
jdk.vm.ci.meta.ResolvedJavaMethod	resolveSubstitution(jdk.vm.ci.meta.ResolvedJavaMethod method)
void	seal()
boolean	sealed()
void	setAnalysisDataValid(boolean dataIsValid)
void	setBigBang(BigBang bb)
jdk.vm.ci.meta.JavaConstant	toHosted(jdk.vm.ci.meta.JavaConstant constant)

Methods inherited from class java.lang.Object

clone, equals, finalize, 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,
                        jdk.vm.ci.meta.JavaKind wordKind,
                        AnalysisPolicy analysisPolicy,
                        SubstitutionProcessor substitutions,
                        jdk.vm.ci.meta.MetaAccessProvider originalMetaAccess,
                        org.graalvm.compiler.api.replacements.SnippetReflectionProvider originalSnippetReflection,
                        org.graalvm.compiler.api.replacements.SnippetReflectionProvider snippetReflection,
                        AnalysisFactory analysisFactory)

Method Detail

getWordKind

public jdk.vm.ci.meta.JavaKind getWordKind()

hostVM

public HostVM hostVM()

Specified by:

hostVM in interface Universe

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(jdk.vm.ci.meta.ResolvedJavaType type)

lookup

public AnalysisType lookup(jdk.vm.ci.meta.JavaType type)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public jdk.vm.ci.meta.JavaType lookupAllowUnresolved(jdk.vm.ci.meta.JavaType rawType)

Specified by:

lookupAllowUnresolved in interface Universe

getStorageKind

public jdk.vm.ci.meta.JavaKind getStorageKind(jdk.vm.ci.meta.ResolvedJavaType type,
                                              jdk.vm.ci.meta.MetaAccessProvider metaAccess)

lookup

public AnalysisField lookup(jdk.vm.ci.meta.JavaField field)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public jdk.vm.ci.meta.JavaField lookupAllowUnresolved(jdk.vm.ci.meta.JavaField rawField)

Specified by:

lookupAllowUnresolved in interface Universe

lookup

public AnalysisMethod lookup(jdk.vm.ci.meta.JavaMethod method)

Specified by:

lookup in interface Universe

lookupAllowUnresolved

public jdk.vm.ci.meta.JavaMethod lookupAllowUnresolved(jdk.vm.ci.meta.JavaMethod rawMethod)

Specified by:

lookupAllowUnresolved in interface Universe

lookup

public AnalysisMethod[] lookup(jdk.vm.ci.meta.JavaMethod[] inputs)

lookup

public WrappedSignature lookup(jdk.vm.ci.meta.Signature signature,
                               WrappedJavaType defaultAccessingClass)

Specified by:

lookup in interface Universe

lookup

public WrappedConstantPool lookup(jdk.vm.ci.meta.ConstantPool constantPool,
                                  WrappedJavaType defaultAccessingClass)

Specified by:

lookup in interface Universe

lookup

public jdk.vm.ci.meta.JavaConstant lookup(jdk.vm.ci.meta.JavaConstant constant)

Specified by:

lookup in interface Universe

toHosted

public jdk.vm.ci.meta.JavaConstant toHosted(jdk.vm.ci.meta.JavaConstant constant)

getTypes

public List<AnalysisType> getTypes()

getType

public AnalysisType getType(int typeId)

getFields

public Collection<AnalysisField> getFields()

getMethods

public Collection<AnalysisMethod> getMethods()

getEmbeddedRoots

public Map<jdk.vm.ci.meta.JavaConstant,jdk.vm.ci.code.BytecodePosition> getEmbeddedRoots()

registerEmbeddedRoot

public void registerEmbeddedRoot(jdk.vm.ci.meta.JavaConstant root,
                                 jdk.vm.ci.code.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.

getMethodImplementations

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

getAllSubtypes

public static Set<AnalysisType> getAllSubtypes(AnalysisType baseType)

Collect and returns *all* subtypes of this type, not only the immediate subtypes. The immediate sub-types are updated continuously as the universe is expanded and can be accessed using AnalysisType.getSubTypes().

getSnippetReflection

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

Specified by:

getSnippetReflection in interface Universe

getOriginalSnippetReflection

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

resolveSubstitution

public jdk.vm.ci.meta.ResolvedJavaMethod resolveSubstitution(jdk.vm.ci.meta.ResolvedJavaMethod method)

Specified by:

resolveSubstitution in interface Universe

objectType

public AnalysisType objectType()

Specified by:

objectType in interface Universe

getSubstitutions

public SubstitutionProcessor getSubstitutions()

analysisPolicy

public AnalysisPolicy analysisPolicy()

getOriginalMetaAccess

public jdk.vm.ci.meta.MetaAccessProvider getOriginalMetaAccess()

setBigBang

public void setBigBang(BigBang bb)

getBigbang

public BigBang getBigbang()