com.oracle.graal.pointsto.heap

Class TypeData

java.lang.Object

com.oracle.graal.pointsto.heap.TypeData

public final class TypeData
extends Object

Additional data for a type that is only available for types that are marked as reachable. Computed lazily once the type is seen as reachable.

Constructor Summary

Constructors

Constructor and Description
TypeData(int length)

Method Summary

Modifier and Type	Method and Description
Object	getFieldValue(AnalysisField field) Return a task for transforming and snapshotting the field value, effectively a future for ImageHeapScanner.onFieldValueReachable(AnalysisField, ValueSupplier, ObjectScanner.ScanReason), or its result, a JavaConstant.
void	setFieldTask(AnalysisField field, AnalysisFuture<JavaConstant> task) Record the task computing the field value.
void	setFieldValue(AnalysisField field, JavaConstant value) Record the field value produced by the task set in TypeData.setFieldTask(AnalysisField, AnalysisFuture), i.e., the snapshot, already transformed and replaced.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeData

public TypeData(int length)

Method Detail

setFieldTask

public void setFieldTask(AnalysisField field,
                         AnalysisFuture<JavaConstant> task)

Record the task computing the field value. It will be retrieved and executed when the field is marked as read.

setFieldValue

public void setFieldValue(AnalysisField field,
                          JavaConstant value)

Record the field value produced by the task set in TypeData.setFieldTask(AnalysisField, AnalysisFuture), i.e., the snapshot, already transformed and replaced.

getFieldValue

public Object getFieldValue(AnalysisField field)

Return a task for transforming and snapshotting the field value, effectively a future for ImageHeapScanner.onFieldValueReachable(AnalysisField, ValueSupplier, ObjectScanner.ScanReason), or its result, a JavaConstant.