JML

org.jmlspecs.samples.list.list1
Class E_SLList

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

public class E_SLList
extends SLList


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

Field Detail

length_

protected int length_

log_

protected int log_
Constructor Detail

E_SLList

public E_SLList()

E_SLList

protected E_SLList(E_SLList othLst)

E_SLList

protected E_SLList(SLNode listNode,
                   int len)
Method Detail

length

public int length()

isEmpty

public boolean isEmpty()

createIterator

public ListIterator createIterator()

removeEntry

public void removeEntry()
Overrides:
removeEntry in class SLList

insertAfterCursor

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

insertBeforeCursor

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

replaceEntry

public void replaceEntry(Object newEntry)
Overrides:
replaceEntry in class SLList

append

public void append(Object newEntry)

removeAllEntries

public void removeAllEntries()

clone

public Object clone()
Overrides:
clone in class SLList

lastEntry

protected void lastEntry()

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.