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
protected  TwoWayNode TwoWayNode.prevNode_
           
protected  TwoWayNode DualLink.dualNode_
           
private static TwoWayNode TwoWayNode_JML_TestData.nullNode
           
 

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)
          The first invocation of this method should be with curr == prevNode_.
private  void TwoWayNode.linkTo(TwoWayNode nxtNode)
           
 

Constructors in org.jmlspecs.samples.list.node2 with parameters of type TwoWayNode
TwoWayNode(Object ent, TwoWayNode prvNode, TwoWayNode nxtNode)
           
DualLink(TwoWayNode node)
           
 


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.