gov.nasa.jpf.util

Class PSIntMap.ValueIterator

java.lang.Object

gov.nasa.jpf.util.PSIntMap.ValueIterator

All Implemented Interfaces:

java.util.Iterator<V>

Enclosing class:

PSIntMap<V>

protected class PSIntMap.ValueIterator
extends java.lang.Object
implements java.util.Iterator<V>

this is less efficient than using map.process(processor), but required to use PSIntMaps in lieu of ordinary containers Since PSIntMaps are bounded recursive data structures, we have to model newElements stack explicitly, but at least we know it is not exceeding newElements depth of 6 (5 bit index blocks) Note - there are no empty nodes. Each one has at least newElements single child node or value

Constructor Summary

Constructors

Constructor and Description
ValueIterator()

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
V	next()
void	remove()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

ValueIterator

public ValueIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<V>

next

public V next()

Specified by:

next in interface java.util.Iterator<V>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<V>