org.jmlspecs.samples.list.node2
Class OneWayNode
java.lang.Object
org.jmlspecs.samples.list.node2.OneWayNode
- Direct Known Subclasses:
- TwoWayNode
- public class OneWayNode
- extends Object
entry_
protected Object entry_
nextNode_
protected OneWayNode nextNode_
nextLink_
protected Link nextLink_
OneWayNode
protected OneWayNode()
OneWayNode
public OneWayNode(Object ent)
OneWayNode
public OneWayNode(Object ent,
OneWayNode nxtNode)
getEntry
public Object getEntry()
setEntry
public void setEntry(Object newEntry)
getNextNode
public OneWayNode getNextNode()
getNextLink
public Link getNextLink()
insertAfter
public void insertAfter(Object newEntry)
removeNextNode
public void removeNextNode()
hasNext
public boolean hasNext()
toString
public String toString()
- Overrides:
toString in class Object
stringOfEntries
protected String stringOfEntries(OneWayNode curr)
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.