com.oracle.graal.pointsto.flow

Class ConstantTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.SourceTypeFlowBase

com.oracle.graal.pointsto.flow.ConstantTypeFlow

public class ConstantTypeFlow
extends SourceTypeFlowBase

The ConstantTypeFlow extends SourceTypeFlowBase which implements the mechanism for propagating the type state to it's uses only after the exactType has been added to the AllInstantiatedTypeFlow. TODO: Use this class for constant sources.

Field Summary

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

sourceState

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
ConstantTypeFlow(org.graalvm.compiler.nodes.ValueNode node, TypeState state) Constant flow has an immutable type state.

Method Summary

Modifier and Type	Method and Description
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
String	toString()

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

addState, canSaturate, initClone, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, context, declaredTypeFilter, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantTypeFlow

public ConstantTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                        TypeState state)

Constant flow has an immutable type state.

Method Detail

copy

public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(BigBang bb,
                                                      MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

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

toString

public String toString()

Overrides:

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