Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.samples.list.list3
Class TwoWayIterator

java.lang.Object
  extended byorg.jmlspecs.samples.list.list3.TwoWayIterator
All Implemented Interfaces:
Iterator, RestartableIterator
public class TwoWayIterator
extends Object
implements RestartableIterator

Field Summary
protected  TwoWayNode currLink_
           
protected  TwoWayNode firstLink_
           
protected  TwoWayNode lastLink_
           
 
Constructor Summary
protected TwoWayIterator()
           
  TwoWayIterator(TwoWayNode link)
           
 
Method Summary
 Object currentItem()
           
 void first()
           
 boolean isAtFront()
           
 boolean isDone()
           
 void last()
           
 void next()
           
 void previous()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

firstLink_

protected TwoWayNode firstLink_

currLink_

protected TwoWayNode currLink_

lastLink_

protected TwoWayNode lastLink_
Constructor Detail

TwoWayIterator

public TwoWayIterator(TwoWayNode link)

TwoWayIterator

protected TwoWayIterator()
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

last

public void last()

previous

public void previous()

isAtFront

public boolean isAtFront()

toString

public String toString()
Overrides:
toString in class Object
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.