JML

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

Packages that use TwoWayNode
org.jmlspecs.samples.list.list2   
org.jmlspecs.samples.list.list3   
org.jmlspecs.samples.list.node   
 

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

Fields in org.jmlspecs.samples.list.list2 declared as TwoWayNode
protected  TwoWayNode TwoWayList.lastNode_
           
protected  TwoWayNode TwoWayIterator.firstLink_
           
protected  TwoWayNode TwoWayIterator.currLink_
           
protected  TwoWayNode TwoWayIterator.lastLink_
           
 

Constructors in org.jmlspecs.samples.list.list2 with parameters of type TwoWayNode
TwoWayIterator(TwoWayNode link)
           
 

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

Fields in org.jmlspecs.samples.list.list3 declared as TwoWayNode
protected  TwoWayNode TwoWayList.lastNode_
           
protected  TwoWayNode TwoWayIterator.firstLink_
           
protected  TwoWayNode TwoWayIterator.currLink_
           
protected  TwoWayNode TwoWayIterator.lastLink_
           
 

Constructors in org.jmlspecs.samples.list.list3 with parameters of type TwoWayNode
TwoWayIterator(TwoWayNode link)
           
 

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

Fields in org.jmlspecs.samples.list.node declared as TwoWayNode
protected  TwoWayNode TwoWayNode.prevNode_
           
(package private)  TwoWayNode TwoWayNode_JML_TestData.nullNode
           
 

Methods in org.jmlspecs.samples.list.node that return TwoWayNode
 TwoWayNode TwoWayNode.getPrevNode()
           
protected  TwoWayNode TwoWayNode.cloneNext()
           
protected  TwoWayNode TwoWayNode.clonePrevious()
           
 

Methods in org.jmlspecs.samples.list.node 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.node with parameters of type TwoWayNode
TwoWayNode(Object ent, TwoWayNode prvNode, 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.