gov.nasa.jpf.util

Class ObjVector.NonNullIterator

java.lang.Object

gov.nasa.jpf.util.ObjVector.NonNullIterator

All Implemented Interfaces:

Iterable<E>, Iterator<E>

Enclosing class:

ObjVector<E>

protected class ObjVector.NonNullIterator
extends Object
implements Iterator<E>, Iterable<E>

iterator that only includes element values that are not null

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ObjVector.NonNullIterator()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasNext()
Iterator<E>	iterator()
E	next()
void	remove()

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjVector.NonNullIterator

protected ObjVector.NonNullIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<E>

next

public E next()

Specified by:

next in interface Iterator<E>

remove

public void remove()

Specified by:

remove in interface Iterator<E>

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Iterable<E>