|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |