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

Packages that use OneWayNode

org.jmlspecs.samples.list.list2
org.jmlspecs.samples.list.list3
org.jmlspecs.samples.list.node

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

Fields in org.jmlspecs.samples.list.list2 declared as OneWayNode

protected OneWayNode	OneWayList.theListNode_
protected OneWayNode	OneWayList.cursorNode_

Methods in org.jmlspecs.samples.list.list2 that return OneWayNode

protected OneWayNode

OneWayList.previousNode(OneWayNode curr, OneWayNode node)

Methods in org.jmlspecs.samples.list.list2 with parameters of type OneWayNode

protected OneWayNode	OneWayList.previousNode(OneWayNode curr, OneWayNode node)
private boolean	E_OneWayList.equalsNode(OneWayNode nd1, OneWayNode nd2)

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

Fields in org.jmlspecs.samples.list.list3 declared as OneWayNode

protected OneWayNode	OneWayList.theListNode_
protected OneWayNode	OneWayList.cursorNode_
protected OneWayNode	OneWayList.prevCursorNode_

Methods in org.jmlspecs.samples.list.list3 with parameters of type OneWayNode

private boolean

E_OneWayList.equalsNode(OneWayNode nd1, OneWayNode nd2)

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

Subclasses of OneWayNode in org.jmlspecs.samples.list.node

class

TwoWayNode

Fields in org.jmlspecs.samples.list.node declared as OneWayNode

protected OneWayNode

OneWayNode.nextNode_

Methods in org.jmlspecs.samples.list.node that return OneWayNode

OneWayNode

OneWayNode.getNextNode()

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

protected String

OneWayNode.stringOfEntries(OneWayNode curr)

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

OneWayNode(Object ent, OneWayNode nxtNode)

OneWayNode_JML_Test.TestGetEntry(OneWayNode receiver$)
Initialize this instance.

OneWayNode_JML_Test.TestSetEntry(OneWayNode receiver$, Object newEntry)
Initialize this instance.

OneWayNode_JML_Test.TestGetNextNode(OneWayNode receiver$)
Initialize this instance.

OneWayNode_JML_Test.TestInsertAfter(OneWayNode receiver$, Object newEntry)
Initialize this instance.

OneWayNode_JML_Test.TestRemoveNextNode(OneWayNode receiver$)
Initialize this instance.

OneWayNode_JML_Test.TestHasNext(OneWayNode receiver$)
Initialize this instance.

OneWayNode_JML_Test.TestClone(OneWayNode receiver$)
Initialize this instance.

OneWayNode_JML_Test.TestToString(OneWayNode receiver$)
Initialize this instance.