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

Packages that use TwoWayNode

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

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

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

protected TwoWayNode	TwoWayIterator.firstLink_
protected TwoWayNode	TwoWayIterator.currLink_
protected TwoWayNode	TwoWayIterator.lastLink_
private TwoWayNode	TwoWayIterator_JML_Test.TestTwoWayIterator.link Argument link
protected TwoWayNode	TwoWayList.lastNode_

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

TwoWayIterator(TwoWayNode link)

TwoWayIterator_JML_Test.TestTwoWayIterator(TwoWayNode link)
Initialize this instance.

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

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

protected TwoWayNode	TwoWayIterator.firstLink_
protected TwoWayNode	TwoWayIterator.currLink_
protected TwoWayNode	TwoWayIterator.lastLink_
private TwoWayNode	TwoWayIterator_JML_Test.TestTwoWayIterator.link Argument link
protected TwoWayNode	TwoWayList.lastNode_

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

TwoWayIterator(TwoWayNode link)

TwoWayIterator_JML_Test.TestTwoWayIterator(TwoWayNode link)
Initialize this instance.

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

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

(package private) TwoWayNode	TwoWayNode_JML_TestData.nullNode
protected TwoWayNode	TwoWayNode.prevNode_

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

TwoWayNode	TwoWayNode.getPrevNode()
protected TwoWayNode	TwoWayNode.cloneNext()
protected TwoWayNode	TwoWayNode.clonePrevious()

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

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

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

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.TestInsertBefore(TwoWayNode receiver$, Object newEntry)
Initialize this instance.

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

TwoWayNode_JML_Test.TestClone(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.TestHasNext(TwoWayNode receiver$)
Initialize this instance.