Package org.jmlspecs.samples.list.list1

Class Summary

DLList
DLList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of DLList.
DLList_JML_Test.OneTest	A JUnit test object that can run a single test method.
DLList_JML_Test.TestAppend	Test for the append method.
DLList_JML_Test.TestClone	Test for the clone method.
DLList_JML_Test.TestCreateIterator	Test for the createIterator method.
DLList_JML_Test.TestDecrementCursor	Test for the decrementCursor method.
DLList_JML_Test.TestDLList	Test for the DLList contructor.
DLList_JML_Test.TestFirstEntry	Test for the firstEntry method.
DLList_JML_Test.TestGetEntry	Test for the getEntry method.
DLList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
DLList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
DLList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
DLList_JML_Test.TestIsEmpty	Test for the isEmpty method.
DLList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
DLList_JML_Test.TestIsOffFront	Test for the isOffFront method.
DLList_JML_Test.TestLastEntry	Test for the lastEntry method.
DLList_JML_Test.TestLength	Test for the length method.
DLList_JML_Test.TestRemoveAllEntries	Test for the removeAllEntries method.
DLList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
DLList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
DLList_JML_Test.TestToString	Test for the toString method.
DLList_JML_TestData	Supply test data for the JML and JUnit based testing of DLList.
E_SLList
E_SLList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of E_SLList.
E_SLList_JML_Test.OneTest	A JUnit test object that can run a single test method.
E_SLList_JML_Test.TestAppend	Test for the append method.
E_SLList_JML_Test.TestClone	Test for the clone method.
E_SLList_JML_Test.TestCreateIterator	Test for the createIterator method.
E_SLList_JML_Test.TestE_SLList	Test for the E_SLList contructor.
E_SLList_JML_Test.TestFirstEntry	Test for the firstEntry method.
E_SLList_JML_Test.TestGetEntry	Test for the getEntry method.
E_SLList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
E_SLList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
E_SLList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
E_SLList_JML_Test.TestIsEmpty	Test for the isEmpty method.
E_SLList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
E_SLList_JML_Test.TestIsOffFront	Test for the isOffFront method.
E_SLList_JML_Test.TestLength	Test for the length method.
E_SLList_JML_Test.TestRemoveAllEntries	Test for the removeAllEntries method.
E_SLList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
E_SLList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
E_SLList_JML_Test.TestToString	Test for the toString method.
E_SLList_JML_TestData	Supply test data for the JML and JUnit based testing of E_SLList.
ListIterator
ListIterator_JML_Test	Automatically-generated test driver for JML and JUnit based testing of ListIterator.
ListIterator_JML_Test.OneTest	A JUnit test object that can run a single test method.
ListIterator_JML_Test.TestCurrentItem	Test for the currentItem method.
ListIterator_JML_Test.TestFirst	Test for the first method.
ListIterator_JML_Test.TestIsDone	Test for the isDone method.
ListIterator_JML_Test.TestListIterator	Test for the ListIterator contructor.
ListIterator_JML_Test.TestNext	Test for the next method.
ListIterator_JML_Test.TestToString	Test for the toString method.
ListIterator_JML_TestData	Supply test data for the JML and JUnit based testing of ListIterator.
SLList
SLList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of SLList.
SLList_JML_Test.OneTest	A JUnit test object that can run a single test method.
SLList_JML_Test.TestClone	Test for the clone method.
SLList_JML_Test.TestFirstEntry	Test for the firstEntry method.
SLList_JML_Test.TestGetEntry	Test for the getEntry method.
SLList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
SLList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
SLList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
SLList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
SLList_JML_Test.TestIsOffFront	Test for the isOffFront method.
SLList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
SLList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
SLList_JML_Test.TestSLList	Test for the SLList contructor.
SLList_JML_Test.TestToString	Test for the toString method.
SLList_JML_TestData	Supply test data for the JML and JUnit based testing of SLList.
TestSuite	This class is automatically generated using org.multijava.util.testing.Main and is used to group a collection of JUnit tests for the local package and perhaps some subpackages.
TestSuite.TestSuite$1