com.oracle.graal.pointsto.flow

Class AccessFieldTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

Direct Known Subclasses:

LoadFieldTypeFlow, StoreFieldTypeFlow

public abstract class AccessFieldTypeFlow
extends TypeFlow<jdk.vm.ci.code.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

context, declaredType, graphRef, id, inQueue, nextId, source, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AccessFieldTypeFlow(org.graalvm.compiler.nodes.java.AccessFieldNode node)
protected	AccessFieldTypeFlow(AccessFieldTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
AnalysisField	field()
protected TypeState	filterObjectState(BigBang 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, addOriginalObserver, addOriginalUse, addState, addUse, canSaturate, context, copy, declaredTypeFilter, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, toString, update

Methods inherited from class java.lang.Object

clone, finalize, 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(org.graalvm.compiler.nodes.java.AccessFieldNode node)

AccessFieldTypeFlow

protected AccessFieldTypeFlow(AccessFieldTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

field

public AnalysisField field()

addState

public final boolean addState(BigBang bb,
                              TypeState add)

Overrides:

addState in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

filterObjectState

protected TypeState filterObjectState(BigBang 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.