JML

Package org.jmlspecs.samples.sets

This package contains samples of JML specifications relating to sets.

See:
          Description

Interface Summary
IntegerSetInterface Sets of integers.
 

Class Summary
IntegerSetAsHashSet A set of integers as a HashSet.
IntegerSetAsHashSet_JML_Test Automatically-generated test driver for JML and JUnit based testing of IntegerSetAsHashSet.
IntegerSetAsHashSet_JML_Test.OneTest A JUnit test object that can run a single test method.
IntegerSetAsHashSet_JML_Test.TestInsert Test for the insert method.
IntegerSetAsHashSet_JML_Test.TestIntegerSetAsHashSet Test for the IntegerSetAsHashSet contructor.
IntegerSetAsHashSet_JML_Test.TestIsMember Test for the isMember method.
IntegerSetAsHashSet_JML_Test.TestRemove Test for the remove method.
IntegerSetAsHashSet_JML_Test.TestToString Test for the toString method.
IntegerSetAsHashSet_JML_TestData Supply test data for the JML and JUnit based testing of IntegerSetAsHashSet.
IntegerSetAsTree Sets of integers implemented as binary search trees.
IntegerSetAsTree_JML_Test Automatically-generated test driver for JML and JUnit based testing of IntegerSetAsTree.
IntegerSetAsTree_JML_Test.OneTest A JUnit test object that can run a single test method.
IntegerSetAsTree_JML_Test.TestInsert Test for the insert method.
IntegerSetAsTree_JML_Test.TestIntegerSetAsTree Test for the IntegerSetAsTree contructor.
IntegerSetAsTree_JML_Test.TestIsMember Test for the isMember method.
IntegerSetAsTree_JML_Test.TestRemove Test for the remove method.
IntegerSetAsTree_JML_Test.TestToString Test for the toString method.
IntegerSetAsTree_JML_TestData Supply test data for the JML and JUnit based testing of IntegerSetAsTree.
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  
 

Package org.jmlspecs.samples.sets Description

This package contains samples of JML specifications relating to sets. These examples were written and implemented by Katie Becker.


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.