coins.aflow
Interface DefVectorIterator

All Superinterfaces:

BitVectorIterator, PointVectorIterator

All Known Implementing Classes:

DefVectorIteratorImpl

public interface DefVectorIterator

extends PointVectorIterator

DefVectorIterator interface: (##6) Interface to traverse all nodes defining some symbol value in specified DefVector.

Method Summary

IR	nextDef() nextDef: Get the next IR node that defines some symbol in the given DefVector (DefVector used to instanciate this iterator).
SetRefRepr	nextSetRefRepr() Get the SetRefRepr that corresponds to the next bit that is on in this BitVector.

Methods inherited from interface coins.aflow.PointVectorIterator

nextPoint

Methods inherited from interface coins.aflow.util.BitVectorIterator

currentIndex, hasNext, next, nextIndex, resetBit, setBit

Method Detail

nextDef

public IR nextDef()

nextDef: Get the next IR node that defines some symbol in the given DefVector (DefVector used to instanciate this iterator). Nodes that have 0 in the DefVector are skipped. If the last node is not a defining node, then null is returned at the last time. Therefore, having hasNext returned true does not guarantee this method returns meaningful (non-null) value.

nextSetRefRepr

public SetRefRepr nextSetRefRepr()

Get the SetRefRepr that corresponds to the next bit that is on in this BitVector. This method returns the SetRefRepr object that wraps the node that will be returned by nextDef. If there is no SetRefReprs remaining, then returns null. Therefore, having hasNext returned true does not guarantee this method returns meaningful (non-null) value.