com.oracle.graal.pointsto.flow

Class AccessFieldTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<BytecodePosition>

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

Direct Known Subclasses:

LoadFieldTypeFlow, StoreFieldTypeFlow

public abstract class AccessFieldTypeFlow
extends TypeFlow<BytecodePosition>

The base class for a field store or load operation type flow.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisField	field The field that this flow stores into or loads from.

Fields inherited from class com.oracle.graal.pointsto.flow.TypeFlow

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AccessFieldTypeFlow(AccessFieldTypeFlow original, MethodFlowsGraph methodFlows)
protected	AccessFieldTypeFlow(BytecodePosition accessLocation, AnalysisField field)

Method Summary

Modifier and Type	Method and Description
AnalysisField	field()
protected TypeState	filterObjectState(PointsToAnalysis bb, TypeState objectState) When the type flow constraints are relaxed the object state can contain types that are not part of the field's declaring class hierarchy.

Methods inherited from class com.oracle.graal.pointsto.flow.TypeFlow

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Field Detail

field

protected final AnalysisField field

The field that this flow stores into or loads from.

Constructor Detail

AccessFieldTypeFlow

protected AccessFieldTypeFlow(BytecodePosition accessLocation,
                              AnalysisField field)

AccessFieldTypeFlow

protected AccessFieldTypeFlow(AccessFieldTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

field

public AnalysisField field()

filterObjectState

protected TypeState filterObjectState(PointsToAnalysis bb,
                                      TypeState objectState)

When the type flow constraints are relaxed the object state can contain types that are not part of the field's declaring class hierarchy. We filter those out.