|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.umd.cfar.lamp.viper.util.MappingIterator
Wraps an Iterator to return the given values after having been run through a 'map' function.
Nested Class Summary | |
static interface |
MappingIterator.MappingFunctor
Function object for converting from the domain to range of the map relation. |
Constructor Summary | |
MappingIterator(MappingIterator.MappingFunctor map,
java.util.Iterator i)
Creates a new instance of ExceptIterator. |
Method Summary | |
boolean |
hasNext()
Tests to see if another element matching the criteria exists in the iterator. |
java.lang.Object |
next()
Gets the next object corresponding to the next element of the wrapped iterator. |
void |
remove()
This must be called directly after the call to next - calling hasNext may call next() on the underlying iterator. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public MappingIterator(MappingIterator.MappingFunctor map, java.util.Iterator i)
i
- the iterator to wrapMethod Detail |
public boolean hasNext()
hasNext
in interface java.util.Iterator
true
if hasNext
will
return an elementpublic java.lang.Object next()
next
in interface java.util.Iterator
java.util.NoSuchElementException
- if no element remains that matchespublic void remove()
remove
in interface java.util.Iterator
java.lang.UnsupportedOperationException
- if the underlying iterator
doesn't support removal
java.lang.IllegalStateException
- when invoked after a call
to hasNext(), before a call to next(), or after another call to remove
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |