Uses of Class
org.jmlspecs.samples.list.list2.OneWayList

Packages that use OneWayList

org.jmlspecs.samples.list.list2

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

Subclasses of OneWayList in org.jmlspecs.samples.list.list2

class	E_OneWayList
class	TwoWayList

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

OneWayList(OneWayList othLst)

OneWayList_JML_Test.TestFirstEntry(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestIncrementCursor(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestIsOffEnd(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestIsOffFront(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestGetEntry(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestRemoveEntry(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestReplaceEntry(OneWayList receiver$, Object newEntry)
Initialize this instance.

OneWayList_JML_Test.TestInsertAfterCursor(OneWayList receiver$, Object newEntry)
Initialize this instance.

OneWayList_JML_Test.TestInsertBeforeCursor(OneWayList receiver$, Object newEntry)
Initialize this instance.

OneWayList_JML_Test.TestClone(OneWayList receiver$)
Initialize this instance.

OneWayList_JML_Test.TestToString(OneWayList receiver$)
Initialize this instance.