com.oracle.graal.pointsto

Class ObjectScanner

java.lang.Object

com.oracle.graal.pointsto.ObjectScanner

Direct Known Subclasses:

AnalysisObjectScanner, ObjectTreePrinter

public abstract class ObjectScanner
extends Object

Provides functionality for scanning constant objects.

Field Summary

Fields

Modifier and Type	Field and Description
protected BigBang	bb
protected Map<Object,Boolean>	scannedObjects
protected Deque<com.oracle.graal.pointsto.ObjectScanner.WorklistEntry>	worklist

Constructor Summary

Constructors

Constructor and Description
ObjectScanner(BigBang bigbang)

Method Summary

Modifier and Type	Method and Description
protected void	finish()
abstract void	forNonNullArrayElement(jdk.vm.ci.meta.JavaConstant array, AnalysisType arrayType, jdk.vm.ci.meta.JavaConstant elementConstant, AnalysisType elementType, int elementIndex) Hook for scanned non-null element value.
abstract void	forNonNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field, jdk.vm.ci.meta.JavaConstant fieldValue) Hook for scanned non-null field value.
abstract void	forNullArrayElement(jdk.vm.ci.meta.JavaConstant array, AnalysisType arrayType, int elementIndex) Hook for scanned null element value.
abstract void	forNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field) Hook for scanned null field value.
abstract void	forRelocatedPointerFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field, jdk.vm.ci.meta.JavaConstant fieldValue) Hook for relocated pointer scanned field value.
protected abstract void	forScannedConstant(jdk.vm.ci.meta.JavaConstant scannedValue, Object reason) Hook for scanned constant.
protected void	scanArray(jdk.vm.ci.meta.JavaConstant array, Object reason) Scans constant arrays, one element at the time.
void	scanBootImageHeapRoots()
void	scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator, Comparator<AnalysisMethod> methodComparator)
void	scanConstant(jdk.vm.ci.meta.JavaConstant value, Object reason)
protected void	scanField(AnalysisField field, jdk.vm.ci.meta.JavaConstant receiver, Object reason) Scans the value of a field giving a receiver object.

Methods inherited from class java.lang.Object

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

Field Detail

bb

protected final BigBang bb

scannedObjects

protected final Map<Object,Boolean> scannedObjects

worklist

protected final Deque<com.oracle.graal.pointsto.ObjectScanner.WorklistEntry> worklist

Constructor Detail

ObjectScanner

public ObjectScanner(BigBang bigbang)

Method Detail

scanBootImageHeapRoots

public void scanBootImageHeapRoots()

scanBootImageHeapRoots

public void scanBootImageHeapRoots(Comparator<AnalysisField> fieldComparator,
                                   Comparator<AnalysisMethod> methodComparator)

forRelocatedPointerFieldValue

public abstract void forRelocatedPointerFieldValue(jdk.vm.ci.meta.JavaConstant receiver,
                                                   AnalysisField field,
                                                   jdk.vm.ci.meta.JavaConstant fieldValue)

Hook for relocated pointer scanned field value. For relocated pointers the value is only known at runtime after methods are relocated, which is pretty much the same as a field written at runtime: we do not have a constant value.

forNullFieldValue

public abstract void forNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver,
                                       AnalysisField field)

Hook for scanned null field value.

forNonNullFieldValue

public abstract void forNonNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver,
                                          AnalysisField field,
                                          jdk.vm.ci.meta.JavaConstant fieldValue)

Hook for scanned non-null field value.

scanField

protected final void scanField(AnalysisField field,
                               jdk.vm.ci.meta.JavaConstant receiver,
                               Object reason)

Scans the value of a field giving a receiver object.

Parameters:

field - the scanned field

receiver - the receiver object

reason - what triggered the scanning

forNullArrayElement

public abstract void forNullArrayElement(jdk.vm.ci.meta.JavaConstant array,
                                         AnalysisType arrayType,
                                         int elementIndex)

Hook for scanned null element value.

forNonNullArrayElement

public abstract void forNonNullArrayElement(jdk.vm.ci.meta.JavaConstant array,
                                            AnalysisType arrayType,
                                            jdk.vm.ci.meta.JavaConstant elementConstant,
                                            AnalysisType elementType,
                                            int elementIndex)

Hook for scanned non-null element value.

scanArray

protected final void scanArray(jdk.vm.ci.meta.JavaConstant array,
                               Object reason)

Scans constant arrays, one element at the time.

Parameters:

array - the array to be scanned

reason - what triggered the scanning

forScannedConstant

protected abstract void forScannedConstant(jdk.vm.ci.meta.JavaConstant scannedValue,
                                           Object reason)

Hook for scanned constant. The subclasses can provide additional processing for the scanned constants.

scanConstant

public final void scanConstant(jdk.vm.ci.meta.JavaConstant value,
                               Object reason)

finish

protected void finish()