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

Packages that use TwoWayNode

org.jmlspecs.samples.list.node2

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

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

private static TwoWayNode	TwoWayNode_JML_TestData.nullNode
protected TwoWayNode	DualLink.dualNode_
protected TwoWayNode	TwoWayNode.prevNode_

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

TwoWayNode

TwoWayNode.getPrevNode()

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

protected String	TwoWayNode.stringOfPrevEntries(TwoWayNode curr)
protected void	TwoWayNode.linkTo(TwoWayNode nxtNode)

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

DualLink(TwoWayNode node)

TwoWayNode(Object ent, TwoWayNode prvNode, TwoWayNode nxtNode)

TwoWayNode_JML_Test.TestInsertAfter(TwoWayNode receiver$, Object newEntry)
Initialize this instance.

TwoWayNode_JML_Test.TestRemoveNextNode(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestGetPrevNode(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestGetPrevLink(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestInsertBefore(TwoWayNode receiver$, Object newEntry)
Initialize this instance.

TwoWayNode_JML_Test.TestRemovePrevNode(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestToString(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestGetEntry(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestSetEntry(TwoWayNode receiver$, Object arg1)
Initialize this instance.

TwoWayNode_JML_Test.TestGetNextNode(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestGetNextLink(TwoWayNode receiver$)
Initialize this instance.

TwoWayNode_JML_Test.TestHasNext(TwoWayNode receiver$)
Initialize this instance.