JML

org.jmlspecs.samples.list.list1
Class ListIterator

java.lang.Object
  extended byorg.jmlspecs.samples.list.list1.ListIterator
All Implemented Interfaces:
Iterator, RestartableIterator

public class ListIterator
extends Object
implements RestartableIterator


Field Summary
protected  E_SLList listRef_
           
protected  int origLog_
           
 
Constructor Summary
private ListIterator()
           
  ListIterator(E_SLList lst)
           
 
Method Summary
 Object currentItem()
           
 void first()
           
 boolean isDone()
           
 void next()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

listRef_

protected E_SLList listRef_

origLog_

protected int origLog_
Constructor Detail

ListIterator

public ListIterator(E_SLList lst)

ListIterator

private ListIterator()
Method Detail

first

public void first()
Specified by:
first in interface RestartableIterator

next

public void next()
Specified by:
next in interface RestartableIterator

isDone

public boolean isDone()
Specified by:
isDone in interface RestartableIterator

currentItem

public Object currentItem()
Specified by:
currentItem in interface RestartableIterator

toString

public String toString()
Overrides:
toString in class Object

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.