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(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(BigBang bb, TypeState update)
AnalysisObject	getSourceObject()
AnalysisObject	object()
protected void	onInputSaturated(BigBang 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, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, 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(BigBang 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(BigBang 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(BigBang bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<AnalysisType>

object

public AnalysisObject object()

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisType>