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

Packages that use OneWayNode

org.jmlspecs.samples.list.node2

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

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

class

TwoWayNode

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

protected OneWayNode	Link.node_
protected OneWayNode	OneWayNode.nextNode_
private OneWayNode	OneWayNode_JML_Test.TestOneWayNode$1.nxtNode Argument nxtNode

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

OneWayNode

OneWayNode.getNextNode()

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

protected String

OneWayNode.stringOfEntries(OneWayNode curr)

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

Link(OneWayNode node)

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.TestGetNextLink(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.TestToString(OneWayNode receiver$)
Initialize this instance.