com.oracle.graal.pointsto.flow

Class AllInstantiatedTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AllInstantiatedTypeFlow

public final class AllInstantiatedTypeFlow
extends TypeFlow<AnalysisType>

Type flow containing all the instantiated sub-types of TypeFlow.declaredType. This is a sub set of the all assignable types. This flow is used for uses that need to be notified when a sub-type of a specific type is marked as instantiated, e.g., a saturated field access type flow needs to be notified when a sub-type of its declared type is marked as instantiated. Note this flow should only be instantiated within AnalysisType. When needed, this flow should be retrieved via calling AnalysisType.getTypeFlow(com.oracle.graal.pointsto.BigBang, boolean).

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
AllInstantiatedTypeFlow(AnalysisType declaredType, boolean canBeNull)

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.
TypeFlow<AnalysisType>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
String	toString()

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, 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

AllInstantiatedTypeFlow

public AllInstantiatedTypeFlow(AnalysisType declaredType,
                               boolean canBeNull)

Method Detail

copy

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

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<AnalysisType>

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

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisType>