JML

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

java.lang.Object
  extended byorg.jmlspecs.samples.list.list1.node.SLNode
      extended byorg.jmlspecs.samples.list.list1.node.DLNode

public class DLNode
extends SLNode


Field Summary
protected  DLNode prevNode_
           
 
Fields inherited from class org.jmlspecs.samples.list.list1.node.SLNode
entry_, nextNode_
 
Constructor Summary
  DLNode(Object ent)
           
protected DLNode(Object ent, DLNode prvNode, DLNode nxtNode)
           
 
Method Summary
 Object clone()
           
protected  DLNode cloneNext()
           
protected  DLNode clonePrevious()
           
 DLNode getPrevNode()
           
 void insertAfter(Object newEntry)
           
 void insertBefore(Object newEntry)
           
protected  void linkTo(DLNode nxtNode)
           
 void removeNextNode()
           
 
Methods inherited from class org.jmlspecs.samples.list.list1.node.SLNode
getEntry, getNextNode, setEntry, stringOfEntries, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

prevNode_

protected DLNode prevNode_
Constructor Detail

DLNode

public DLNode(Object ent)

DLNode

protected DLNode(Object ent,
                 DLNode prvNode,
                 DLNode nxtNode)
Method Detail

insertAfter

public void insertAfter(Object newEntry)
Overrides:
insertAfter in class SLNode

removeNextNode

public void removeNextNode()
Overrides:
removeNextNode in class SLNode

getPrevNode

public DLNode getPrevNode()

insertBefore

public void insertBefore(Object newEntry)

clone

public Object clone()
Overrides:
clone in class SLNode

cloneNext

protected DLNode cloneNext()

clonePrevious

protected DLNode clonePrevious()

linkTo

protected void linkTo(DLNode nxtNode)

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.