com.oracle.graal.pointsto.flow

Class FilterTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<BytecodePosition>

com.oracle.graal.pointsto.flow.FilterTypeFlow

public class FilterTypeFlow
extends TypeFlow<BytecodePosition>

The points-to analysis model of an InstanceOfNode, which represents an instanceof test.

Field Summary

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

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Constructor and Description
FilterTypeFlow(BytecodePosition position, AnalysisType filterType, boolean isExact, boolean isAssignable, boolean includeNull)
FilterTypeFlow(MethodFlowsGraph methodFlows, FilterTypeFlow original)

Method Summary

Modifier and Type	Method and Description
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState update)
boolean	includeNull()
boolean	isAssignable()
boolean	isExact()
protected void	notifyObserverOfSaturation(PointsToAnalysis bb, TypeFlow<?> observer)
protected void	notifyUseOfSaturation(PointsToAnalysis bb, TypeFlow<?> use)
protected void	onInputSaturated(PointsToAnalysis bb, TypeFlow<?> input) Notified by an input that it is saturated and it will stop sending updates.
String	toString()

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

FilterTypeFlow

public FilterTypeFlow(BytecodePosition position,
                      AnalysisType filterType,
                      boolean isExact,
                      boolean isAssignable,
                      boolean includeNull)

FilterTypeFlow

public FilterTypeFlow(MethodFlowsGraph methodFlows,
                      FilterTypeFlow original)

Method Detail

copy

public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb,
                                       MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<BytecodePosition>

onInputSaturated

protected void onInputSaturated(PointsToAnalysis bb,
                                TypeFlow<?> input)

Description copied from class: TypeFlow

Notified by an input that it is saturated and it will stop sending updates.

Overrides:

onInputSaturated in class TypeFlow<BytecodePosition>

notifyUseOfSaturation

protected void notifyUseOfSaturation(PointsToAnalysis bb,
                                     TypeFlow<?> use)

Overrides:

notifyUseOfSaturation in class TypeFlow<BytecodePosition>

notifyObserverOfSaturation

protected void notifyObserverOfSaturation(PointsToAnalysis bb,
                                          TypeFlow<?> observer)

Overrides:

notifyObserverOfSaturation in class TypeFlow<BytecodePosition>

isExact

public boolean isExact()

isAssignable

public boolean isAssignable()

includeNull

public boolean includeNull()

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>