JML

Uses of Class
org.jmlspecs.samples.list.node2.TwoWayNode

Packages that use TwoWayNode
org.jmlspecs.samples.list.node2   
 

Uses of TwoWayNode in org.jmlspecs.samples.list.node2
 

Fields in org.jmlspecs.samples.list.node2 declared as TwoWayNode
private static TwoWayNode TwoWayNode_JML_TestData.nullNode
           
protected  TwoWayNode DualLink.dualNode_
           
protected  TwoWayNode TwoWayNode.prevNode_
           
 

Methods in org.jmlspecs.samples.list.node2 that return TwoWayNode
 TwoWayNode TwoWayNode.getPrevNode()
           
 

Methods in org.jmlspecs.samples.list.node2 with parameters of type TwoWayNode
protected  String TwoWayNode.stringOfPrevEntries(TwoWayNode curr)
           
protected  void TwoWayNode.linkTo(TwoWayNode nxtNode)
           
 

Constructors in org.jmlspecs.samples.list.node2 with parameters of type TwoWayNode
DualLink(TwoWayNode node)
           
TwoWayNode(Object ent, TwoWayNode prvNode, TwoWayNode nxtNode)
           
TwoWayNode_JML_Test.TestInsertAfter(TwoWayNode receiver$, Object newEntry)
          Initialize this instance.
TwoWayNode_JML_Test.TestRemoveNextNode(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestGetPrevNode(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestGetPrevLink(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestInsertBefore(TwoWayNode receiver$, Object newEntry)
          Initialize this instance.
TwoWayNode_JML_Test.TestRemovePrevNode(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestToString(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestGetEntry(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestSetEntry(TwoWayNode receiver$, Object arg1)
          Initialize this instance.
TwoWayNode_JML_Test.TestGetNextNode(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestGetNextLink(TwoWayNode receiver$)
          Initialize this instance.
TwoWayNode_JML_Test.TestHasNext(TwoWayNode receiver$)
          Initialize this instance.
 


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.