com.oracle.graal.pointsto.typestate

Class TypeState.TypesObjectsIterator

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState.TypesObjectsIterator

Enclosing class:

TypeState

public static class TypeState.TypesObjectsIterator
extends Object

This is a special iterator for the type state. It iterates over analysis types and objects in tandem doing a single pass over the objects array. It relies on the fact that the types and objects are sorted by ID. It is meant for situations where the types need some pre-processing or checking before processing their respective objects, e.g., as in virtual method resolution for InvokeTypeFlow. It those situations it avoids iterating over the types first and then searching for the range of objects corresponding to that type. When only objects, or only types, or only objects of a certain type need to be iterated use the other provided iterators. A correct use of this iterator is as follows: TypesObjectsIterator toi = state.getTypesObjectsIterator(); while(toi.hasNextType()) { AnalysisType t = toi.nextType(); // use type here while(toi.hasNextObject(t)) { AnalysisObject o = toi.nextObject(t); // use object here } }

Constructor Summary

Constructors

Constructor and Description
TypesObjectsIterator(TypeState state)

Method Summary

Modifier and Type	Method and Description
boolean	hasNextObject(AnalysisType type) Returns true if there are more objects of the current type.
boolean	hasNextType() Returns true if there is a next type in the objects array, i.e., there are objects of a type other than the current type.
AnalysisObject	nextObject(AnalysisType type) Gets the next object.
AnalysisType	nextType() Gets the next type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypesObjectsIterator

public TypesObjectsIterator(TypeState state)

Method Detail

hasNextType

public boolean hasNextType()

Returns true if there is a next type in the objects array, i.e., there are objects of a type other than the current type.

hasNextObject

public boolean hasNextObject(AnalysisType type)

Returns true if there are more objects of the current type.

nextType

public AnalysisType nextType()

Gets the next type.

nextObject

public AnalysisObject nextObject(AnalysisType type)

Gets the next object.