JML

Package org.jmlspecs.samples.list.list3

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.
 


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.