JML

org.jmlspecs.samples.list.node2
Class OneWayNode

java.lang.Object
  extended byorg.jmlspecs.samples.list.node2.OneWayNode
Direct Known Subclasses:
TwoWayNode

public class OneWayNode
extends Object


Field Summary
protected  Object entry_
           
protected  Link nextLink_
           
protected  OneWayNode nextNode_
           
 
Constructor Summary
protected OneWayNode()
           
  OneWayNode(Object ent)
           
  OneWayNode(Object ent, OneWayNode nxtNode)
           
 
Method Summary
 Object getEntry()
           
 Link getNextLink()
           
 OneWayNode getNextNode()
           
 boolean hasNext()
           
 void insertAfter(Object newEntry)
           
 void removeNextNode()
           
 void setEntry(Object newEntry)
           
protected  String stringOfEntries(OneWayNode curr)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

entry_

protected Object entry_

nextNode_

protected OneWayNode nextNode_

nextLink_

protected Link nextLink_
Constructor Detail

OneWayNode

protected OneWayNode()

OneWayNode

public OneWayNode(Object ent)

OneWayNode

public OneWayNode(Object ent,
                  OneWayNode nxtNode)
Method Detail

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

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.