gov.nasa.jpf.util

Class ObjectList.Iterator

java.lang.Object

gov.nasa.jpf.util.ObjectList.Iterator

All Implemented Interfaces:

java.lang.Iterable<java.lang.Object>, java.util.Iterator<java.lang.Object>

Enclosing class:

ObjectList

public static class ObjectList.Iterator
extends java.lang.Object
implements java.util.Iterator<java.lang.Object>, java.lang.Iterable<java.lang.Object>

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
java.util.Iterator<java.lang.Object>	iterator()
java.lang.Object	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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<java.lang.Object>

next

public java.lang.Object next()

Specified by:

next in interface java.util.Iterator<java.lang.Object>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<java.lang.Object>

iterator

public java.util.Iterator<java.lang.Object> iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.Object>