com.oracle.graal.pointsto.flow

Class LoadFieldTypeFlow.LoadInstanceFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.LoadFieldTypeFlow

com.oracle.graal.pointsto.flow.LoadFieldTypeFlow.LoadInstanceFieldTypeFlow

Enclosing class:

LoadFieldTypeFlow

public static class LoadFieldTypeFlow.LoadInstanceFieldTypeFlow
extends LoadFieldTypeFlow

The type state of the load instance field flow reflects the type state of the field on the receiver objects that triggered this load operation.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.LoadFieldTypeFlow

LoadFieldTypeFlow.LoadInstanceFieldTypeFlow, LoadFieldTypeFlow.LoadStaticFieldTypeFlow

Field Summary

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

field

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

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

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
LoadFieldTypeFlow	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	getObjectState() Return the state of the receiver object.
void	onObservedUpdate(BigBang bb) Notify the observer that the observed type flow state has changed.
TypeFlow<?>	receiver() Return the receiver object flow.
String	toString()

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

field

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, clearUses, context, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, update

Methods inherited from class java.lang.Object

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

Method Detail

copy

public LoadFieldTypeFlow copy(BigBang bb,
                              MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<org.graalvm.compiler.nodes.java.LoadFieldNode>

receiver

public TypeFlow<?> receiver()

Return the receiver object flow.

Overrides:

receiver in class TypeFlow<org.graalvm.compiler.nodes.java.LoadFieldNode>

getObjectState

public TypeState getObjectState()

Return the state of the receiver object.

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.java.LoadFieldNode>

onObservedUpdate

public void onObservedUpdate(BigBang bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Overrides:

onObservedUpdate in class TypeFlow<org.graalvm.compiler.nodes.java.LoadFieldNode>

toString

public String toString()

Overrides:

toString in class TypeFlow<org.graalvm.compiler.nodes.java.LoadFieldNode>