JML

org.jmlspecs.samples.list.list1
Class SLList

java.lang.Object
  extended byorg.jmlspecs.samples.list.list1.SLList
Direct Known Subclasses:
E_SLList

public class SLList
extends Object


Field Summary
protected  SLNode cursorNode_
           
protected  SLNode theListNode_
           
 
Constructor Summary
  SLList()
           
protected SLList(SLNode listNode)
           
protected SLList(SLList othLst)
           
 
Method Summary
 Object clone()
           
protected  void decreaseCursor()
           
 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 SLNode theListNode_

cursorNode_

protected SLNode cursorNode_
Constructor Detail

SLList

public SLList()

SLList

protected SLList(SLList othLst)

SLList

protected SLList(SLNode listNode)
Method Detail

firstEntry

public void firstEntry()

incrementCursor

public void incrementCursor()

isOffFront

public boolean isOffFront()

isOffEnd

public boolean isOffEnd()

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

decreaseCursor

protected void decreaseCursor()

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.