com.oracle.graal.pointsto.typestore

Class SplitFieldTypeStore

java.lang.Object

com.oracle.graal.pointsto.typestore.FieldTypeStore

com.oracle.graal.pointsto.typestore.SplitFieldTypeStore

public class SplitFieldTypeStore
extends FieldTypeStore

Store for instance field access type flows. The read and write flows are separated.

Field Summary

Fields inherited from class com.oracle.graal.pointsto.typestore.FieldTypeStore

field, object

Constructor Summary

Constructors

Constructor and Description
SplitFieldTypeStore(AnalysisField field, AnalysisObject object)
SplitFieldTypeStore(AnalysisField field, AnalysisObject object, FieldTypeFlow writeFlow, FieldTypeFlow readFlow)

Method Summary

Modifier and Type	Method and Description
void	init(PointsToAnalysis bb) Overridden for field type stores that need lazy initialization.
FieldTypeFlow	readFlow()
String	toString()
FieldTypeFlow	writeFlow()

Methods inherited from class com.oracle.graal.pointsto.typestore.FieldTypeStore

field, object, unsafeWriteSinkFlow

Methods inherited from class java.lang.Object

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

Constructor Detail

SplitFieldTypeStore

public SplitFieldTypeStore(AnalysisField field,
                           AnalysisObject object)

SplitFieldTypeStore

public SplitFieldTypeStore(AnalysisField field,
                           AnalysisObject object,
                           FieldTypeFlow writeFlow,
                           FieldTypeFlow readFlow)

Method Detail

writeFlow

public FieldTypeFlow writeFlow()

Specified by:

writeFlow in class FieldTypeStore

readFlow

public FieldTypeFlow readFlow()

Specified by:

readFlow in class FieldTypeStore

init

public void init(PointsToAnalysis bb)

Description copied from class: FieldTypeStore

Overridden for field type stores that need lazy initialization.

Overrides:

init in class FieldTypeStore

toString

public String toString()

Overrides:

toString in class Object