Uses of Class
org.jmlspecs.samples.list.list1.DLList

Packages that use DLList

org.jmlspecs.samples.list.list1

Uses of DLList in org.jmlspecs.samples.list.list1

Constructors in org.jmlspecs.samples.list.list1 with parameters of type DLList

DLList(DLList othLst)

DLList_JML_Test.TestFirstEntry(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestIsOffEnd(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestIncrementCursor(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestGetEntry(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestDecrementCursor(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestLastEntry(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestRemoveEntry(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestInsertAfterCursor(DLList receiver$, Object newEntry)
Initialize this instance.

DLList_JML_Test.TestInsertBeforeCursor(DLList receiver$, Object newEntry)
Initialize this instance.

DLList_JML_Test.TestClone(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestToString(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestLength(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestIsEmpty(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestCreateIterator(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestReplaceEntry(DLList receiver$, Object arg1)
Initialize this instance.

DLList_JML_Test.TestAppend(DLList receiver$, Object arg1)
Initialize this instance.

DLList_JML_Test.TestRemoveAllEntries(DLList receiver$)
Initialize this instance.

DLList_JML_Test.TestIsOffFront(DLList receiver$)
Initialize this instance.