Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.samples.list.node
Class TwoWayNode

java.lang.Object
  extended byorg.jmlspecs.samples.list.node.OneWayNode
      extended byorg.jmlspecs.samples.list.node.TwoWayNode
public class TwoWayNode
extends OneWayNode

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

Field Detail

prevNode_

protected TwoWayNode prevNode_
Constructor Detail

TwoWayNode

public TwoWayNode()

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()

insertBefore

public void insertBefore(Object newEntry)

toString

public String toString()
Overrides:
toString in class OneWayNode

stringOfPrevEntries

protected String stringOfPrevEntries(TwoWayNode curr)

clone

public Object clone()
Overrides:
clone in class OneWayNode

cloneNext

protected TwoWayNode cloneNext()

clonePrevious

protected TwoWayNode clonePrevious()

linkTo

protected void linkTo(TwoWayNode nxtNode)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.