JML

org.jmlspecs.samples.list.list1.node
Class SLNode

java.lang.Object
  extended byorg.jmlspecs.samples.list.list1.node.SLNode
Direct Known Subclasses:
DLNode

public class SLNode
extends Object


Field Summary
protected  Object entry_
           
protected  SLNode nextNode_
           
 
Constructor Summary
protected SLNode()
           
  SLNode(Object ent)
           
protected SLNode(Object ent, SLNode nxtNode)
           
 
Method Summary
 Object clone()
           
 Object getEntry()
           
 SLNode getNextNode()
           
 void insertAfter(Object newEntry)
           
 void removeNextNode()
           
 void setEntry(Object newEntry)
           
protected  String stringOfEntries(SLNode 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 SLNode nextNode_
Constructor Detail

SLNode

public SLNode(Object ent)

SLNode

protected SLNode()

SLNode

protected SLNode(Object ent,
                 SLNode nxtNode)
Method Detail

getEntry

public Object getEntry()

setEntry

public void setEntry(Object newEntry)

getNextNode

public SLNode getNextNode()

insertAfter

public void insertAfter(Object newEntry)

removeNextNode

public void removeNextNode()

clone

public Object clone()
Overrides:
clone in class Object

toString

public String toString()
Overrides:
toString in class Object

stringOfEntries

protected String stringOfEntries(SLNode 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.