gov.nasa.jpf.util

Class ObjVector.OVIterator

java.lang.Object

gov.nasa.jpf.util.ObjVector.OVIterator

All Implemented Interfaces:

java.util.Iterator<E>

Enclosing class:

ObjVector<E>

protected class ObjVector.OVIterator
extends java.lang.Object
implements java.util.Iterator<E>

iterator that goes over all elements regardless of value (i.e. also includes null values)

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OVIterator()

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
E	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

OVIterator

protected OVIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<E>

next

public E next()

Specified by:

next in interface java.util.Iterator<E>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<E>