JML

org.jmlspecs.samples.list.node2
Class TwoWayNode

java.lang.Object
  extended byorg.jmlspecs.samples.list.node2.OneWayNode
      extended byorg.jmlspecs.samples.list.node2.TwoWayNode

public class TwoWayNode
extends OneWayNode


Field Summary
protected  TwoWayNode prevNode_
           
 
Fields inherited from class org.jmlspecs.samples.list.node2.OneWayNode
entry_, nextLink_, nextNode_
 
Constructor Summary
  TwoWayNode(Object ent)
           
protected TwoWayNode(Object ent, TwoWayNode prvNode, TwoWayNode nxtNode)
           
 
Method Summary
 DualLink getPrevLink()
           
 TwoWayNode getPrevNode()
           
 void insertAfter(Object newEntry)
           
 void insertBefore(Object newEntry)
           
protected  void linkTo(TwoWayNode nxtNode)
           
 void removeNextNode()
           
 void removePrevNode()
           
protected  String stringOfPrevEntries(TwoWayNode curr)
           
 String toString()
           
 
Methods inherited from class org.jmlspecs.samples.list.node2.OneWayNode
getEntry, getNextLink, getNextNode, hasNext, setEntry, stringOfEntries
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

prevNode_

protected TwoWayNode prevNode_
Constructor Detail

TwoWayNode

public TwoWayNode(Object ent)

TwoWayNode

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

insertAfter

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

removeNextNode

public void removeNextNode()
Overrides:
removeNextNode in class OneWayNode

getPrevNode

public TwoWayNode getPrevNode()

getPrevLink

public DualLink getPrevLink()

insertBefore

public void insertBefore(Object newEntry)

removePrevNode

public void removePrevNode()

toString

public String toString()
Overrides:
toString in class OneWayNode

stringOfPrevEntries

protected String stringOfPrevEntries(TwoWayNode curr)

linkTo

protected void linkTo(TwoWayNode 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.