JML

org.jmlspecs.samples.list.list2
Class TwoWayList

java.lang.Object
  extended byorg.jmlspecs.samples.list.list2.OneWayList
      extended byorg.jmlspecs.samples.list.list2.E_OneWayList
          extended byorg.jmlspecs.samples.list.list2.TwoWayList

public class TwoWayList
extends E_OneWayList


Field Summary
protected  TwoWayNode lastNode_
           
 
Fields inherited from class org.jmlspecs.samples.list.list2.E_OneWayList
length_
 
Fields inherited from class org.jmlspecs.samples.list.list2.OneWayList
cursorNode_, theListNode_
 
Constructor Summary
  TwoWayList()
           
protected TwoWayList(TwoWayList othLst)
           
 
Method Summary
 Object clone()
           
 TwoWayIterator createIterator()
           
 void decrementCursor()
           
 void insertAfterCursor(Object newEntry)
           
 void insertBeforeCursor(Object newEntry)
           
 void lastEntry()
           
 void removeEntry()
           
 
Methods inherited from class org.jmlspecs.samples.list.list2.E_OneWayList
append, equals, hashCode, isEmpty, length, removeAllEntries
 
Methods inherited from class org.jmlspecs.samples.list.list2.OneWayList
firstEntry, getEntry, incrementCursor, isOffEnd, isOffFront, previousNode, replaceEntry, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

lastNode_

protected TwoWayNode lastNode_
Constructor Detail

TwoWayList

public TwoWayList()

TwoWayList

protected TwoWayList(TwoWayList othLst)
Method Detail

decrementCursor

public void decrementCursor()

lastEntry

public void lastEntry()
Overrides:
lastEntry in class E_OneWayList

removeEntry

public void removeEntry()
Overrides:
removeEntry in class E_OneWayList

insertAfterCursor

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

insertBeforeCursor

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

clone

public Object clone()
Overrides:
clone in class E_OneWayList

createIterator

public TwoWayIterator createIterator()

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.