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

Packages that use E_SLList

org.jmlspecs.samples.list.list1

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

Subclasses of E_SLList in org.jmlspecs.samples.list.list1

class

DLList

Fields in org.jmlspecs.samples.list.list1 declared as E_SLList

protected E_SLList	ListIterator.listRef_
private E_SLList	ListIterator_JML_Test.TestListIterator.lst Argument lst

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

E_SLList(E_SLList othLst)

ListIterator(E_SLList lst)

E_SLList_JML_Test.TestLength(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestIsEmpty(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestCreateIterator(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestRemoveEntry(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestInsertAfterCursor(E_SLList receiver$, Object newEntry)
Initialize this instance.

E_SLList_JML_Test.TestInsertBeforeCursor(E_SLList receiver$, Object newEntry)
Initialize this instance.

E_SLList_JML_Test.TestReplaceEntry(E_SLList receiver$, Object newEntry)
Initialize this instance.

E_SLList_JML_Test.TestAppend(E_SLList receiver$, Object newEntry)
Initialize this instance.

E_SLList_JML_Test.TestRemoveAllEntries(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestClone(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestFirstEntry(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestIncrementCursor(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestIsOffFront(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestIsOffEnd(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestGetEntry(E_SLList receiver$)
Initialize this instance.

E_SLList_JML_Test.TestToString(E_SLList receiver$)
Initialize this instance.

ListIterator_JML_Test.TestListIterator(E_SLList lst)
Initialize this instance.