JML

org.jmlspecs.samples.list.list1
Class DLList

java.lang.Object
  extended byorg.jmlspecs.samples.list.list1.SLList
      extended byorg.jmlspecs.samples.list.list1.E_SLList
          extended byorg.jmlspecs.samples.list.list1.DLList

public class DLList
extends E_SLList


Field Summary
protected  DLNode lastNode_
           
 
Fields inherited from class org.jmlspecs.samples.list.list1.E_SLList
length_, log_
 
Fields inherited from class org.jmlspecs.samples.list.list1.SLList
cursorNode_, theListNode_
 
Constructor Summary
  DLList()
           
protected DLList(DLList othLst)
           
protected DLList(DLNode listNode, int len)
           
 
Method Summary
 Object clone()
           
 void decrementCursor()
           
 void firstEntry()
           
 Object getEntry()
           
 void incrementCursor()
           
 void insertAfterCursor(Object newEntry)
           
 void insertBeforeCursor(Object newEntry)
           
 boolean isOffEnd()
           
 void lastEntry()
           
 void removeEntry()
           
 String toString()
           
 
Methods inherited from class org.jmlspecs.samples.list.list1.E_SLList
append, createIterator, isEmpty, length, removeAllEntries, replaceEntry
 
Methods inherited from class org.jmlspecs.samples.list.list1.SLList
decreaseCursor, isOffFront
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

lastNode_

protected final DLNode lastNode_
Constructor Detail

DLList

public DLList()

DLList

protected DLList(DLList othLst)

DLList

protected DLList(DLNode listNode,
                 int len)
Method Detail

firstEntry

public void firstEntry()
Overrides:
firstEntry in class SLList

isOffEnd

public boolean isOffEnd()
Overrides:
isOffEnd in class SLList

incrementCursor

public void incrementCursor()
Overrides:
incrementCursor in class SLList

getEntry

public Object getEntry()
Overrides:
getEntry in class SLList

decrementCursor

public void decrementCursor()

lastEntry

public void lastEntry()
Overrides:
lastEntry in class E_SLList

removeEntry

public void removeEntry()
Overrides:
removeEntry in class E_SLList

insertAfterCursor

public void insertAfterCursor(Object newEntry)
Overrides:
insertAfterCursor in class E_SLList

insertBeforeCursor

public void insertBeforeCursor(Object newEntry)
Overrides:
insertBeforeCursor in class E_SLList

clone

public Object clone()
Overrides:
clone in class E_SLList

toString

public String toString()
Overrides:
toString in class SLList

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.