|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.jmlspecs.samples.table | |
| org.jmlspecs.samples.table | This package contains samples of JML specifications relating to tables. |
| Classes in org.jmlspecs.samples.table used by org.jmlspecs.samples.table | |
| Entry
Table entries, which are pairs of an index and a value. |
|
| 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_TestData
Supply test data for the JML and JUnit based testing of EntryImplementation. |
|
| Table
Tables are finite maps from indexes to values. |
|
| 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_TestData
Supply test data for the JML and JUnit based testing of TableImplementation. |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||