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.