public abstract class FieldTypeStore extends Object
| Modifier and Type | Field and Description |
|---|---|
protected AnalysisField |
field |
protected AnalysisObject |
object
The holder of the field flow.
|
| Modifier | Constructor and Description |
|---|---|
protected |
FieldTypeStore(AnalysisField field,
AnalysisObject object) |
| Modifier and Type | Method and Description |
|---|---|
AnalysisField |
field() |
void |
init(PointsToAnalysis bb)
Overridden for field type stores that need lazy initialization.
|
AnalysisObject |
object() |
abstract FieldTypeFlow |
readFlow() |
UnsafeWriteSinkTypeFlow |
unsafeWriteSinkFlow(PointsToAnalysis bb) |
abstract FieldTypeFlow |
writeFlow() |
protected final AnalysisObject object
protected final AnalysisField field
protected FieldTypeStore(AnalysisField field, AnalysisObject object)
public AnalysisObject object()
public AnalysisField field()
public abstract FieldTypeFlow writeFlow()
public abstract FieldTypeFlow readFlow()
public void init(PointsToAnalysis bb)
public UnsafeWriteSinkTypeFlow unsafeWriteSinkFlow(PointsToAnalysis bb)