Uses of Class

Packages that use SLNode

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)


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.