com.oracle.graal.pointsto.flow

Class ExceptionObjectTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.ProxyTypeFlow

com.oracle.graal.pointsto.flow.ExceptionObjectTypeFlow

public class ExceptionObjectTypeFlow
extends ProxyTypeFlow

Models the ExceptionObjectNode. It is a proxy type flow, i.e., it propagates the state of its input, which in current implementation is the type flow of a sub-type of Throwable.

Field Summary

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

input

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
ExceptionObjectTypeFlow(org.graalvm.compiler.graph.Node source, TypeFlow<?> input)

Method Summary

Modifier and Type	Method and Description
boolean	canSaturate() Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.
String	toString()

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

addState, copy, getInput, getState, update

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, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionObjectTypeFlow

public ExceptionObjectTypeFlow(org.graalvm.compiler.graph.Node source,
                               TypeFlow<?> input)

Method Detail

canSaturate

public boolean canSaturate()

Description copied from class: TypeFlow

Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.

Overrides:

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

toString

public String toString()

Overrides:

toString in class ProxyTypeFlow