com.oracle.graal.pointsto.heap

Class HeapSnapshotVerifier.ScanningObserver

java.lang.Object

com.oracle.graal.pointsto.heap.HeapSnapshotVerifier.ScanningObserver

All Implemented Interfaces:

ObjectScanningObserver

Enclosing class:

HeapSnapshotVerifier

protected final class HeapSnapshotVerifier.ScanningObserver
extends Object
implements ObjectScanningObserver

Constructor Summary

Constructors

Constructor and Description
ScanningObserver()

Method Summary

Modifier and Type	Method and Description
void	forEmbeddedRoot(JavaConstant root, ObjectScanner.ScanReason reason) Hook for scanned embedded root.
boolean	forNonNullArrayElement(JavaConstant array, AnalysisType arrayType, JavaConstant elementValue, AnalysisType elementType, int index, ObjectScanner.ScanReason reason) Hook for scanned non-null element value.
boolean	forNonNullFieldValue(JavaConstant receiver, AnalysisField field, JavaConstant fieldValue, ObjectScanner.ScanReason reason) Hook for scanned non-null field value.
boolean	forNullArrayElement(JavaConstant array, AnalysisType arrayType, int elementIndex, ObjectScanner.ScanReason reason) Hook for scanned null element value.
boolean	forNullFieldValue(JavaConstant receiver, AnalysisField field, ObjectScanner.ScanReason reason) Hook for scanned null field value.
boolean	forRelocatedPointerFieldValue(JavaConstant receiver, AnalysisField field, JavaConstant fieldValue, ObjectScanner.ScanReason reason) Hook for relocated pointer scanned field value.
void	forScannedConstant(JavaConstant value, ObjectScanner.ScanReason reason) Hook for scanned constant.

Methods inherited from class java.lang.Object

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

Constructor Detail

ScanningObserver

public ScanningObserver()

Method Detail

forRelocatedPointerFieldValue

public boolean forRelocatedPointerFieldValue(JavaConstant receiver,
                                             AnalysisField field,
                                             JavaConstant fieldValue,
                                             ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

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.

Specified by:

forRelocatedPointerFieldValue in interface ObjectScanningObserver

forNullFieldValue

public boolean forNullFieldValue(JavaConstant receiver,
                                 AnalysisField field,
                                 ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned null field value.

Specified by:

forNullFieldValue in interface ObjectScanningObserver

forNonNullFieldValue

public boolean forNonNullFieldValue(JavaConstant receiver,
                                    AnalysisField field,
                                    JavaConstant fieldValue,
                                    ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned non-null field value.

Specified by:

forNonNullFieldValue in interface ObjectScanningObserver

Returns:

true if value is consumed, false otherwise

forNullArrayElement

public boolean forNullArrayElement(JavaConstant array,
                                   AnalysisType arrayType,
                                   int elementIndex,
                                   ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned null element value.

Specified by:

forNullArrayElement in interface ObjectScanningObserver

forNonNullArrayElement

public boolean forNonNullArrayElement(JavaConstant array,
                                      AnalysisType arrayType,
                                      JavaConstant elementValue,
                                      AnalysisType elementType,
                                      int index,
                                      ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned non-null element value.

Specified by:

forNonNullArrayElement in interface ObjectScanningObserver

Returns:

true if value is consumed, false otherwise

forEmbeddedRoot

public void forEmbeddedRoot(JavaConstant root,
                            ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned embedded root.

Specified by:

forEmbeddedRoot in interface ObjectScanningObserver

forScannedConstant

public void forScannedConstant(JavaConstant value,
                               ObjectScanner.ScanReason reason)

Description copied from interface: ObjectScanningObserver

Hook for scanned constant.

Specified by:

forScannedConstant in interface ObjectScanningObserver