Uses of Class
org.jmlspecs.samples.list.list3.E_OneWayList

Packages that use E_OneWayList

org.jmlspecs.samples.list.list3

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

Subclasses of E_OneWayList in org.jmlspecs.samples.list.list3

class

TwoWayList

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

E_OneWayList(E_OneWayList othLst)

E_OneWayList_JML_Test.TestLength(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestIsEmpty(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestEquals(E_OneWayList receiver$, Object obj)
Initialize this instance.

E_OneWayList_JML_Test.TestHashCode(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestRemoveEntry(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestInsertAfterCursor(E_OneWayList receiver$, Object newEntry)
Initialize this instance.

E_OneWayList_JML_Test.TestInsertBeforeCursor(E_OneWayList receiver$, Object newEntry)
Initialize this instance.

E_OneWayList_JML_Test.TestAppend(E_OneWayList receiver$, Object newEntry)
Initialize this instance.

E_OneWayList_JML_Test.TestRemoveAllEntries(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestClone(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestFirstEntry(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestIncrementCursor(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestIsOffEnd(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestIsOffFront(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestGetEntry(E_OneWayList receiver$)
Initialize this instance.

E_OneWayList_JML_Test.TestReplaceEntry(E_OneWayList receiver$, Object arg1)
Initialize this instance.

E_OneWayList_JML_Test.TestToString(E_OneWayList receiver$)
Initialize this instance.