com.oracle.graal.pointsto.flow

Class FilterTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FilterTypeFlow

public class FilterTypeFlow
extends TypeFlow<org.graalvm.compiler.nodes.ValueNode>

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
FilterTypeFlow(MethodFlowsGraph methodFlows, FilterTypeFlow original)
FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType type, boolean isAssignable, boolean includeNull)
FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType type, boolean isExact, boolean isAssignable, boolean includeNull)

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
TypeFlow<org.graalvm.compiler.nodes.ValueNode>	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(BigBang bb, TypeState update)
AnalysisType	getType()
boolean	includeNull()
boolean	isAssignable()
boolean	isExact()
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FilterTypeFlow

public FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                      AnalysisType type,
                      boolean isAssignable,
                      boolean includeNull)

FilterTypeFlow

public FilterTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                      AnalysisType type,
                      boolean isExact,
                      boolean isAssignable,
                      boolean includeNull)

FilterTypeFlow

public FilterTypeFlow(MethodFlowsGraph methodFlows,
                      FilterTypeFlow original)

Method Detail

copy

public TypeFlow<org.graalvm.compiler.nodes.ValueNode> 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.ValueNode>

filter

public TypeState filter(BigBang bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>

getType

public AnalysisType getType()

isExact

public boolean isExact()

isAssignable

public boolean isAssignable()

includeNull

public boolean includeNull()

toString

public String toString()

Overrides:

toString in class TypeFlow<org.graalvm.compiler.nodes.ValueNode>