Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
org.jmlspecs.samples.list.list1.node.SLNode

Packages that use SLNode
org.jmlspecs.samples.list.list1   
org.jmlspecs.samples.list.list1.node   
 

Uses of SLNode in org.jmlspecs.samples.list.list1
 

Fields in org.jmlspecs.samples.list.list1 declared as SLNode
protected  SLNode SLList.theListNode_
           
protected  SLNode SLList.cursorNode_
           
 

Constructors in org.jmlspecs.samples.list.list1 with parameters of type SLNode
SLList(SLNode listNode)
           
E_SLList(SLNode listNode, int len)
           
 

Uses of SLNode in org.jmlspecs.samples.list.list1.node
 

Subclasses of SLNode in org.jmlspecs.samples.list.list1.node
 class DLNode
           
 

Fields in org.jmlspecs.samples.list.list1.node declared as SLNode
protected  SLNode SLNode.nextNode_
           
 

Methods in org.jmlspecs.samples.list.list1.node that return SLNode
 SLNode SLNode.getNextNode()
           
 

Methods in org.jmlspecs.samples.list.list1.node with parameters of type SLNode
protected  String SLNode.stringOfEntries(SLNode curr)
          Returns the string concatentation of all nodes following this node up to and excluding the end of the chain or this, which ever is reached first (i.e. this method will terminate even for circular lists).
 

Constructors in org.jmlspecs.samples.list.list1.node with parameters of type SLNode
SLNode(Object ent, SLNode nxtNode)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
JML
 PREV   NEXT FRAMES    NO FRAMES    
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.