com.oracle.graal.pointsto.flow

Class ArrayElementsTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.ArrayElementsTypeFlow

public class ArrayElementsTypeFlow
extends TypeFlow<AnalysisType>

This class is used to model the elements type flow for array objects.

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
ArrayElementsTypeFlow(AnalysisObject sourceObject)

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.
TypeState	filter(PointsToAnalysis bb, TypeState update)
AnalysisObject	getSourceObject()
AnalysisObject	object()
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, addOriginalObserver, addOriginalUse, addState, addState, addUse, 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, 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

ArrayElementsTypeFlow

public ArrayElementsTypeFlow(AnalysisObject sourceObject)

Method Detail

getSourceObject

public AnalysisObject getSourceObject()

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>

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

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<AnalysisType>

object

public AnalysisObject object()

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisType>