JML

Package org.jmlspecs.samples.list.list1.node

Class Summary
DLNode  
DLNode_JML_Test Automatically-generated test driver for JML and JUnit based testing of DLNode.
DLNode_JML_Test.OneTest A JUnit test object that can run a single test method.
DLNode_JML_Test.TestClone Test for the clone method.
DLNode_JML_Test.TestDLNode Test for the DLNode contructor.
DLNode_JML_Test.TestGetEntry Test for the getEntry method.
DLNode_JML_Test.TestGetNextNode Test for the getNextNode method.
DLNode_JML_Test.TestGetPrevNode Test for the getPrevNode method.
DLNode_JML_Test.TestInsertAfter Test for the insertAfter method.
DLNode_JML_Test.TestInsertBefore Test for the insertBefore method.
DLNode_JML_Test.TestRemoveNextNode Test for the removeNextNode method.
DLNode_JML_Test.TestSetEntry Test for the setEntry method.
DLNode_JML_Test.TestToString Test for the toString method.
DLNode_JML_TestData Supply test data for the JML and JUnit based testing of DLNode.
SLNode  
SLNode_JML_Test Automatically-generated test driver for JML and JUnit based testing of SLNode.
SLNode_JML_Test.OneTest A JUnit test object that can run a single test method.
SLNode_JML_Test.TestClone Test for the clone method.
SLNode_JML_Test.TestGetEntry Test for the getEntry method.
SLNode_JML_Test.TestGetNextNode Test for the getNextNode method.
SLNode_JML_Test.TestInsertAfter Test for the insertAfter method.
SLNode_JML_Test.TestRemoveNextNode Test for the removeNextNode method.
SLNode_JML_Test.TestSetEntry Test for the setEntry method.
SLNode_JML_Test.TestSLNode Test for the SLNode contructor.
SLNode_JML_Test.TestToString Test for the toString method.
SLNode_JML_TestData Supply test data for the JML and JUnit based testing of SLNode.
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.