JML

Package org.jmlspecs.samples.list.node

Class Summary
OneWayNode  
OneWayNode_JML_Test Automatically-generated test driver for JML and JUnit based testing of OneWayNode.
OneWayNode_JML_Test.OneTest A JUnit test object that can run a single test method.
OneWayNode_JML_Test.TestClone Test for the clone method.
OneWayNode_JML_Test.TestGetEntry Test for the getEntry method.
OneWayNode_JML_Test.TestGetNextNode Test for the getNextNode method.
OneWayNode_JML_Test.TestHasNext Test for the hasNext method.
OneWayNode_JML_Test.TestInsertAfter Test for the insertAfter method.
OneWayNode_JML_Test.TestOneWayNode Test for the OneWayNode contructor.
OneWayNode_JML_Test.TestOneWayNode$1 Test for the OneWayNode contructor.
OneWayNode_JML_Test.TestRemoveNextNode Test for the removeNextNode method.
OneWayNode_JML_Test.TestSetEntry Test for the setEntry method.
OneWayNode_JML_Test.TestToString Test for the toString method.
OneWayNode_JML_TestData Supply test data for the JML and JUnit based testing of OneWayNode.
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  
TwoWayNode  
TwoWayNode_JML_Test Automatically-generated test driver for JML and JUnit based testing of TwoWayNode.
TwoWayNode_JML_Test.OneTest A JUnit test object that can run a single test method.
TwoWayNode_JML_Test.TestClone Test for the clone method.
TwoWayNode_JML_Test.TestGetEntry Test for the getEntry method.
TwoWayNode_JML_Test.TestGetNextNode Test for the getNextNode method.
TwoWayNode_JML_Test.TestGetPrevNode Test for the getPrevNode method.
TwoWayNode_JML_Test.TestHasNext Test for the hasNext method.
TwoWayNode_JML_Test.TestInsertAfter Test for the insertAfter method.
TwoWayNode_JML_Test.TestInsertBefore Test for the insertBefore method.
TwoWayNode_JML_Test.TestRemoveNextNode Test for the removeNextNode method.
TwoWayNode_JML_Test.TestSetEntry Test for the setEntry method.
TwoWayNode_JML_Test.TestToString Test for the toString method.
TwoWayNode_JML_Test.TestTwoWayNode Test for the TwoWayNode contructor.
TwoWayNode_JML_Test.TestTwoWayNode$1 Test for the TwoWayNode contructor.
TwoWayNode_JML_TestData Supply test data for the JML and JUnit based testing of TwoWayNode.
 


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.