com.oracle.graal.pointsto.flow

Class SourceTypeFlow

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.SourceTypeFlow

public class SourceTypeFlow
extends SourceTypeFlowBase

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
SourceTypeFlow(PointsToAnalysis bb, SourceTypeFlow original, MethodFlowsGraph methodFlows)
SourceTypeFlow(org.graalvm.compiler.nodes.ValueNode node, TypeState state) Source flow has an immutable type state.

Method Summary

Modifier and Type	Method and Description
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis 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, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

SourceTypeFlow

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

Source flow has an immutable type state.

SourceTypeFlow

public SourceTypeFlow(PointsToAnalysis bb,
                      SourceTypeFlow original,
                      MethodFlowsGraph methodFlows)

Method Detail

copy

public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(PointsToAnalysis 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>