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	TwoWayList.lastNode_
protected TwoWayNode	TwoWayIterator.firstLink_
protected TwoWayNode	TwoWayIterator.currLink_
protected TwoWayNode	TwoWayIterator.lastLink_

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

TwoWayIterator(TwoWayNode link)

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

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

protected TwoWayNode	TwoWayList.lastNode_
protected TwoWayNode	TwoWayIterator.firstLink_
protected TwoWayNode	TwoWayIterator.currLink_
protected TwoWayNode	TwoWayIterator.lastLink_

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

TwoWayIterator(TwoWayNode link)

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

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

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

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) The first invocation of this method should be with curr == prevNode_.
private void	TwoWayNode.linkTo(TwoWayNode nxtNode)

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

TwoWayNode(Object ent, TwoWayNode prvNode, TwoWayNode nxtNode)