Package daikon
Class PptTopLevel.CondIterator
- Object
-
- CondIterator
-
- All Implemented Interfaces:
Iterator<PptConditional>
- Enclosing class:
- PptTopLevel
public class PptTopLevel.CondIterator extends Object implements Iterator<PptConditional>
Iterator for all of the conditional ppts. Returns each PptConditional from each entry in splitters.
-
-
Constructor Summary
Constructors Constructor Description CondIterator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasNext()
PptConditional
next()
void
remove()
-
Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface Iterator
forEachRemaining
-
-
-
-
Constructor Detail
-
CondIterator
public CondIterator()
-
-
Method Detail
-
hasNext
@EnsuresNonNullIf(result=true, expression="splitters") public boolean hasNext(@GuardSatisfied PptTopLevel.CondIterator this)
- Specified by:
hasNext
in interfaceIterator<PptConditional>
-
next
public PptConditional next(@GuardSatisfied PptTopLevel.CondIterator this)
- Specified by:
next
in interfaceIterator<PptConditional>
-
remove
public void remove(@GuardSatisfied PptTopLevel.CondIterator this)
- Specified by:
remove
in interfaceIterator<PptConditional>
-
-