JML

Package org.jmlspecs.samples.table

This package contains samples of JML specifications relating to tables.

See:
          Description

Interface Summary
Entry Table entries, which are pairs of an index and a value.
Table Tables are finite maps from indexes to values.
 

Class Summary
EntryImplementation Entries for Tables that map an index to a value.
EntryImplementation_JML_Test Automatically-generated test driver for JML and JUnit based testing of EntryImplementation.
EntryImplementation_JML_Test.OneTest A JUnit test object that can run a single test method.
EntryImplementation_JML_Test.TestClone Test for the clone method.
EntryImplementation_JML_Test.TestEntryImplementation Test for the EntryImplementation contructor.
EntryImplementation_JML_Test.TestEquals Test for the equals method.
EntryImplementation_JML_Test.TestGetIndex Test for the getIndex method.
EntryImplementation_JML_Test.TestGetValue Test for the getValue method.
EntryImplementation_JML_Test.TestHashCode Test for the hashCode method.
EntryImplementation_JML_TestData Supply test data for the JML and JUnit based testing of EntryImplementation.
TableImplementation An implementation of the Table interface.
TableImplementation_JML_Test Automatically-generated test driver for JML and JUnit based testing of TableImplementation.
TableImplementation_JML_Test.OneTest A JUnit test object that can run a single test method.
TableImplementation_JML_Test.TestAddEntry Test for the addEntry method.
TableImplementation_JML_Test.TestIsUsedIndex Test for the isUsedIndex method.
TableImplementation_JML_Test.TestMapTo Test for the mapTo method.
TableImplementation_JML_Test.TestRemoveEntry Test for the removeEntry method.
TableImplementation_JML_Test.TestTableImplementation Test for the TableImplementation contructor.
TableImplementation_JML_Test.TestToString Test for the toString method.
TableImplementation_JML_TestData Supply test data for the JML and JUnit based testing of TableImplementation.
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.table Description

This package contains samples of JML specifications relating to tables. These were modified, implemented, and tested 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.