JML

org.jmlspecs.samples.list.node
Class OneWayNode

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

public class OneWayNode
extends Object


Field Summary
protected  Object entry_
           
protected  OneWayNode nextNode_
           
 
Constructor Summary
  OneWayNode()
           
  OneWayNode(Object ent)
           
protected OneWayNode(Object ent, OneWayNode nxtNode)
           
 
Method Summary
 Object clone()
           
 Object getEntry()
           
 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
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

entry_

protected Object entry_

nextNode_

protected OneWayNode nextNode_
Constructor Detail

OneWayNode

public OneWayNode()

OneWayNode

public OneWayNode(Object ent)

OneWayNode

protected OneWayNode(Object ent,
                     OneWayNode nxtNode)
Method Detail

getEntry

public Object getEntry()

setEntry

public void setEntry(Object newEntry)

getNextNode

public OneWayNode getNextNode()

insertAfter

public void insertAfter(Object newEntry)

removeNextNode

public void removeNextNode()

hasNext

public boolean hasNext()

clone

public Object clone()
Overrides:
clone in class Object

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.