JML

org.jmlspecs.samples.list.list3
Class E_OneWayList

java.lang.Object
  extended byorg.jmlspecs.samples.list.list3.OneWayList
      extended byorg.jmlspecs.samples.list.list3.E_OneWayList
Direct Known Subclasses:
TwoWayList

public class E_OneWayList
extends OneWayList


Field Summary
protected  int length_
           
 
Fields inherited from class org.jmlspecs.samples.list.list3.OneWayList
cursorNode_, prevCursorNode_, theListNode_
 
Constructor Summary
  E_OneWayList()
           
protected E_OneWayList(E_OneWayList othLst)
           
 
Method Summary
 void append(Object newEntry)
           
 Object clone()
           
 boolean equals(Object obj)
           
private  boolean equalsNode(OneWayNode nd1, OneWayNode nd2)
           
 int hashCode()
           
 void insertAfterCursor(Object newEntry)
           
 void insertBeforeCursor(Object newEntry)
           
 boolean isEmpty()
           
protected  void lastEntry()
           
 int length()
           
 void removeAllEntries()
           
 void removeEntry()
           
 
Methods inherited from class org.jmlspecs.samples.list.list3.OneWayList
firstEntry, getEntry, incrementCursor, isOffEnd, isOffFront, replaceEntry, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

length_

protected int length_
Constructor Detail

E_OneWayList

public E_OneWayList()

E_OneWayList

protected E_OneWayList(E_OneWayList othLst)
Method Detail

length

public int length()

isEmpty

public boolean isEmpty()

equals

public boolean equals(Object obj)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object

removeEntry

public void removeEntry()
Overrides:
removeEntry in class OneWayList

insertAfterCursor

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

insertBeforeCursor

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

append

public void append(Object newEntry)

removeAllEntries

public void removeAllEntries()

clone

public Object clone()
Overrides:
clone in class OneWayList

lastEntry

protected void lastEntry()

equalsNode

private boolean equalsNode(OneWayNode nd1,
                           OneWayNode nd2)

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.