com.oracle.graal.pointsto.flow

Class StoreFieldTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.java.StoreFieldNode>

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

Direct Known Subclasses:

StoreFieldTypeFlow.StoreInstanceFieldTypeFlow, StoreFieldTypeFlow.StoreStaticFieldTypeFlow

public abstract class StoreFieldTypeFlow
extends TypeFlow<org.graalvm.compiler.nodes.java.StoreFieldNode>

Implements a field store operation type flow.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StoreFieldTypeFlow.StoreInstanceFieldTypeFlow The state of the StoreFieldTypeFlow reflects the state of the stored value.
static class	StoreFieldTypeFlow.StoreStaticFieldTypeFlow

Field Summary

Fields

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

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

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

Constructor Summary

Constructors

Constructor and Description
StoreFieldTypeFlow(org.graalvm.compiler.nodes.java.StoreFieldNode node)
StoreFieldTypeFlow(StoreFieldTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
AnalysisField	field()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, clearUses, context, copy, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedUpdate, receiver, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, 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.

Constructor Detail

StoreFieldTypeFlow

public StoreFieldTypeFlow(org.graalvm.compiler.nodes.java.StoreFieldNode node)

StoreFieldTypeFlow

public StoreFieldTypeFlow(StoreFieldTypeFlow original,
                          MethodFlowsGraph methodFlows)

Method Detail

field

public AnalysisField field()