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

Packages that use TwoWayList

org.jmlspecs.samples.list.list3

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

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

(package private) TwoWayList[]

TwoWayIterator_JML_TestData.list

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

TwoWayList(TwoWayList othLst)

TwoWayList_JML_Test.TestDecrementCursor(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestLastEntry(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestRemoveEntry(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestInsertAfterCursor(TwoWayList receiver$, Object newEntry)
Initialize this instance.

TwoWayList_JML_Test.TestInsertBeforeCursor(TwoWayList receiver$, Object newEntry)
Initialize this instance.

TwoWayList_JML_Test.TestClone(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestCreateIterator(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestLength(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestIsEmpty(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestEquals(TwoWayList receiver$, Object arg1)
Initialize this instance.

TwoWayList_JML_Test.TestHashCode(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestAppend(TwoWayList receiver$, Object arg1)
Initialize this instance.

TwoWayList_JML_Test.TestRemoveAllEntries(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestFirstEntry(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestIncrementCursor(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestIsOffEnd(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestIsOffFront(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestGetEntry(TwoWayList receiver$)
Initialize this instance.

TwoWayList_JML_Test.TestReplaceEntry(TwoWayList receiver$, Object arg1)
Initialize this instance.

TwoWayList_JML_Test.TestToString(TwoWayList receiver$)
Initialize this instance.