Uses of Class

Packages that use TwoWayNode

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 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.