Package org.jmlspecs.samples.list.list2

Class Summary

E_OneWayList
E_OneWayList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of E_OneWayList.
E_OneWayList_JML_Test.OneTest	A JUnit test object that can run a single test method.
E_OneWayList_JML_Test.TestAppend	Test for the append method.
E_OneWayList_JML_Test.TestClone	Test for the clone method.
E_OneWayList_JML_Test.TestE_OneWayList	Test for the E_OneWayList contructor.
E_OneWayList_JML_Test.TestEquals	Test for the equals method.
E_OneWayList_JML_Test.TestFirstEntry	Test for the firstEntry method.
E_OneWayList_JML_Test.TestGetEntry	Test for the getEntry method.
E_OneWayList_JML_Test.TestHashCode	Test for the hashCode method.
E_OneWayList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
E_OneWayList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
E_OneWayList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
E_OneWayList_JML_Test.TestIsEmpty	Test for the isEmpty method.
E_OneWayList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
E_OneWayList_JML_Test.TestIsOffFront	Test for the isOffFront method.
E_OneWayList_JML_Test.TestLength	Test for the length method.
E_OneWayList_JML_Test.TestRemoveAllEntries	Test for the removeAllEntries method.
E_OneWayList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
E_OneWayList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
E_OneWayList_JML_Test.TestToString	Test for the toString method.
E_OneWayList_JML_TestData	Supply test data for the JML and JUnit based testing of E_OneWayList.
OneWayList
OneWayList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of OneWayList.
OneWayList_JML_Test.OneTest	A JUnit test object that can run a single test method.
OneWayList_JML_Test.TestClone	Test for the clone method.
OneWayList_JML_Test.TestFirstEntry	Test for the firstEntry method.
OneWayList_JML_Test.TestGetEntry	Test for the getEntry method.
OneWayList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
OneWayList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
OneWayList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
OneWayList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
OneWayList_JML_Test.TestIsOffFront	Test for the isOffFront method.
OneWayList_JML_Test.TestOneWayList	Test for the OneWayList contructor.
OneWayList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
OneWayList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
OneWayList_JML_Test.TestToString	Test for the toString method.
OneWayList_JML_TestData	Supply test data for the JML and JUnit based testing of OneWayList.
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
TwoWayIterator
TwoWayIterator_JML_Test	Automatically-generated test driver for JML and JUnit based testing of TwoWayIterator.
TwoWayIterator_JML_Test.OneTest	A JUnit test object that can run a single test method.
TwoWayIterator_JML_Test.TestCurrentItem	Test for the currentItem method.
TwoWayIterator_JML_Test.TestFirst	Test for the first method.
TwoWayIterator_JML_Test.TestIsAtFront	Test for the isAtFront method.
TwoWayIterator_JML_Test.TestIsDone	Test for the isDone method.
TwoWayIterator_JML_Test.TestLast	Test for the last method.
TwoWayIterator_JML_Test.TestNext	Test for the next method.
TwoWayIterator_JML_Test.TestPrevious	Test for the previous method.
TwoWayIterator_JML_Test.TestToString	Test for the toString method.
TwoWayIterator_JML_Test.TestTwoWayIterator	Test for the TwoWayIterator contructor.
TwoWayIterator_JML_TestData	Supply test data for the JML and JUnit based testing of TwoWayIterator.
TwoWayList
TwoWayList_JML_Test	Automatically-generated test driver for JML and JUnit based testing of TwoWayList.
TwoWayList_JML_Test.OneTest	A JUnit test object that can run a single test method.
TwoWayList_JML_Test.TestAppend	Test for the append method.
TwoWayList_JML_Test.TestClone	Test for the clone method.
TwoWayList_JML_Test.TestCreateIterator	Test for the createIterator method.
TwoWayList_JML_Test.TestDecrementCursor	Test for the decrementCursor method.
TwoWayList_JML_Test.TestEquals	Test for the equals method.
TwoWayList_JML_Test.TestFirstEntry	Test for the firstEntry method.
TwoWayList_JML_Test.TestGetEntry	Test for the getEntry method.
TwoWayList_JML_Test.TestHashCode	Test for the hashCode method.
TwoWayList_JML_Test.TestIncrementCursor	Test for the incrementCursor method.
TwoWayList_JML_Test.TestInsertAfterCursor	Test for the insertAfterCursor method.
TwoWayList_JML_Test.TestInsertBeforeCursor	Test for the insertBeforeCursor method.
TwoWayList_JML_Test.TestIsEmpty	Test for the isEmpty method.
TwoWayList_JML_Test.TestIsOffEnd	Test for the isOffEnd method.
TwoWayList_JML_Test.TestIsOffFront	Test for the isOffFront method.
TwoWayList_JML_Test.TestLastEntry	Test for the lastEntry method.
TwoWayList_JML_Test.TestLength	Test for the length method.
TwoWayList_JML_Test.TestRemoveAllEntries	Test for the removeAllEntries method.
TwoWayList_JML_Test.TestRemoveEntry	Test for the removeEntry method.
TwoWayList_JML_Test.TestReplaceEntry	Test for the replaceEntry method.
TwoWayList_JML_Test.TestToString	Test for the toString method.
TwoWayList_JML_Test.TestTwoWayList	Test for the TwoWayList contructor.
TwoWayList_JML_TestData	Supply test data for the JML and JUnit based testing of TwoWayList.