gov.nasa.jpf.util

Class ObjectList.TypedIterator<A>

java.lang.Object

gov.nasa.jpf.util.ObjectList.TypedIterator<A>

All Implemented Interfaces:

Iterable<A>, Iterator<A>

Enclosing class:

ObjectList

public static class ObjectList.TypedIterator<A>
extends Object
implements Iterator<A>, Iterable<A>

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<A>

next

public A next()

Specified by:

next in interface Iterator<A>

remove

public void remove()

Specified by:

remove in interface Iterator<A>

iterator

public Iterator<A> iterator()

Specified by:

iterator in interface Iterable<A>