com.oracle.graal.pointsto

Interface ObjectScanningObserver

All Known Implementing Classes:

AnalysisObjectScanningObserver

public interface ObjectScanningObserver

This interface contains hooks for constant scanning events. When scanning a field there are three possible cases: the field value is a relocated pointer, the field value is null or the field value is non-null. When scanning array elements there are two possible cases: the element value is either null or the field value is non-null. The implementers of this API will call the appropriate method during scanning.

Method Summary

Modifier and Type	Method and Description
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.
void	forNonNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field, jdk.vm.ci.meta.JavaConstant fieldValue) Hook for scanned non-null field value.
void	forNullArrayElement(jdk.vm.ci.meta.JavaConstant array, AnalysisType arrayType, int elementIndex) Hook for scanned null element value.
void	forNullFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field) Hook for scanned null field value.
void	forRelocatedPointerFieldValue(jdk.vm.ci.meta.JavaConstant receiver, AnalysisField field, jdk.vm.ci.meta.JavaConstant fieldValue) Hook for relocated pointer scanned field value.
void	forScannedConstant(jdk.vm.ci.meta.JavaConstant scannedValue, ObjectScanner.ScanReason reason) Hook for scanned constant.

Method Detail

forRelocatedPointerFieldValue

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

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

Hook for scanned null field value.

forNonNullFieldValue

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

Hook for scanned non-null field value.

forNullArrayElement

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

Hook for scanned null element value.

forNonNullArrayElement

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.

forScannedConstant

void forScannedConstant(jdk.vm.ci.meta.JavaConstant scannedValue,
                        ObjectScanner.ScanReason reason)

Hook for scanned constant.