gov.nasa.jpf.util.script

Class ScriptElementContainer.SECIterator

java.lang.Object

gov.nasa.jpf.util.script.ScriptElementContainer.SECIterator

All Implemented Interfaces:

java.lang.Cloneable, java.util.Iterator<ScriptElement>

Enclosing class:

ScriptElementContainer

protected class ScriptElementContainer.SECIterator
extends java.lang.Object
implements java.util.Iterator<ScriptElement>, java.lang.Cloneable

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
ScriptElementContainer.SECIterator	getPrev()
boolean	hasNext()
ScriptElement	next()
void	remove()
void	setPrev(ScriptElementContainer.SECIterator it)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<ScriptElement>

next

public ScriptElement next()

Specified by:

next in interface java.util.Iterator<ScriptElement>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<ScriptElement>

getPrev

public ScriptElementContainer.SECIterator getPrev()

setPrev

public void setPrev(ScriptElementContainer.SECIterator it)

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object