JML

org.jmlspecs.samples.list.list3
Class OneWayList

java.lang.Object
  extended byorg.jmlspecs.samples.list.list3.OneWayList
Direct Known Subclasses:
E_OneWayList

public class OneWayList
extends Object


Field Summary
protected  OneWayNode cursorNode_
           
protected  OneWayNode prevCursorNode_
           
protected  OneWayNode theListNode_
           
 
Constructor Summary
  OneWayList()
           
protected OneWayList(OneWayList othLst)
           
 
Method Summary
 Object clone()
           
 void firstEntry()
           
 Object getEntry()
           
 void incrementCursor()
           
 void insertAfterCursor(Object newEntry)
           
 void insertBeforeCursor(Object newEntry)
           
 boolean isOffEnd()
           
 boolean isOffFront()
           
 void removeEntry()
           
 void replaceEntry(Object newEntry)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

theListNode_

protected OneWayNode theListNode_

cursorNode_

protected OneWayNode cursorNode_

prevCursorNode_

protected OneWayNode prevCursorNode_
Constructor Detail

OneWayList

public OneWayList()

OneWayList

protected OneWayList(OneWayList othLst)
Method Detail

firstEntry

public void firstEntry()

incrementCursor

public void incrementCursor()

isOffEnd

public boolean isOffEnd()

isOffFront

public boolean isOffFront()

getEntry

public Object getEntry()

removeEntry

public void removeEntry()

replaceEntry

public void replaceEntry(Object newEntry)

insertAfterCursor

public void insertAfterCursor(Object newEntry)

insertBeforeCursor

public void insertBeforeCursor(Object newEntry)

clone

public Object clone()
Overrides:
clone in class Object

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.