com.oracle.graal.pointsto.flow

Class InstanceOfTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.InstanceOfTypeFlow

public class InstanceOfTypeFlow
extends TypeFlow<jdk.vm.ci.code.BytecodePosition>

Reflects all types flow into an instanceof node, i.e., the state of this flow contains all types that flow into it, with no filtering. There is a separate FilterTypeFlow that implements the filtering operation and propagates the reduced state to uses. An InstanceOfTypeFlow is a sink flow, i.e., it doesn't have any uses.

Field Summary

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
InstanceOfTypeFlow(InstanceOfTypeFlow original, MethodFlowsGraph methodFlows)
InstanceOfTypeFlow(org.graalvm.compiler.nodes.ValueNode node, BytecodeLocation instanceOfLocation, AnalysisType declaredType)

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.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
BytecodeLocation	getLocation()
String	toString()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, 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

InstanceOfTypeFlow

public InstanceOfTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                          BytecodeLocation instanceOfLocation,
                          AnalysisType declaredType)

InstanceOfTypeFlow

public InstanceOfTypeFlow(InstanceOfTypeFlow original,
                          MethodFlowsGraph methodFlows)

Method Detail

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

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

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>

getLocation

public BytecodeLocation getLocation()

toString

public String toString()

Overrides:

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