org.jmlspecs.samples.list.list1
Class E_SLList
java.lang.Object
org.jmlspecs.samples.list.list1.SLList
org.jmlspecs.samples.list.list1.E_SLList
- Direct Known Subclasses:
- DLList
- public class E_SLList
- extends SLList
length_
protected int length_
log_
protected int log_
E_SLList
public E_SLList()
E_SLList
protected E_SLList(E_SLList othLst)
E_SLList
protected E_SLList(SLNode listNode,
int len)
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 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.