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

Packages that use DLNode

org.jmlspecs.samples.list.list1
org.jmlspecs.samples.list.list1.node

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

Fields in org.jmlspecs.samples.list.list1 declared as DLNode

protected DLNode

DLList.lastNode_

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

DLList(DLNode listNode, int len)

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

Fields in org.jmlspecs.samples.list.list1.node declared as DLNode

private static DLNode	DLNode_JML_TestData.nullNode
protected DLNode	DLNode.prevNode_

Methods in org.jmlspecs.samples.list.list1.node that return DLNode

DLNode	DLNode.getPrevNode()
protected DLNode	DLNode.cloneNext()
protected DLNode	DLNode.clonePrevious()

Methods in org.jmlspecs.samples.list.list1.node with parameters of type DLNode

protected void

DLNode.linkTo(DLNode nxtNode)

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

DLNode(Object ent, DLNode prvNode, DLNode nxtNode)

DLNode_JML_Test.TestInsertAfter(DLNode receiver$, Object newEntry)
Initialize this instance.

DLNode_JML_Test.TestRemoveNextNode(DLNode receiver$)
Initialize this instance.

DLNode_JML_Test.TestGetPrevNode(DLNode receiver$)
Initialize this instance.

DLNode_JML_Test.TestInsertBefore(DLNode receiver$, Object newEntry)
Initialize this instance.

DLNode_JML_Test.TestClone(DLNode receiver$)
Initialize this instance.

DLNode_JML_Test.TestGetEntry(DLNode receiver$)
Initialize this instance.

DLNode_JML_Test.TestSetEntry(DLNode receiver$, Object arg1)
Initialize this instance.

DLNode_JML_Test.TestGetNextNode(DLNode receiver$)
Initialize this instance.

DLNode_JML_Test.TestToString(DLNode receiver$)
Initialize this instance.