JML

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  
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.