JML

org.jmlspecs.samples.list.iterator
Interface Iterator

All Known Subinterfaces:
RestartableIterator
All Known Implementing Classes:
ListIterator, TwoWayIterator, TwoWayIterator

public interface Iterator


Method Summary
 Object currentItem()
           
 boolean isDone()
           
 void next()
           
 

Method Detail

next

public void next()

isDone

public boolean isDone()

currentItem

public Object currentItem()

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.