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)

Constructors in org.jmlspecs.samples.list.list1.node with parameters of type SLNode

SLNode(Object ent, SLNode nxtNode)

SLNode_JML_Test.TestGetEntry(SLNode receiver$)
Initialize this instance.

SLNode_JML_Test.TestSetEntry(SLNode receiver$, Object newEntry)
Initialize this instance.

SLNode_JML_Test.TestGetNextNode(SLNode receiver$)
Initialize this instance.

SLNode_JML_Test.TestInsertAfter(SLNode receiver$, Object newEntry)
Initialize this instance.

SLNode_JML_Test.TestRemoveNextNode(SLNode receiver$)
Initialize this instance.

SLNode_JML_Test.TestClone(SLNode receiver$)
Initialize this instance.

SLNode_JML_Test.TestToString(SLNode receiver$)
Initialize this instance.