Uses of Package
org.jmlspecs.models.resolve

Packages that use org.jmlspecs.models.resolve

org.jmlspecs.models.resolve

This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Classes in org.jmlspecs.models.resolve used by org.jmlspecs.models.resolve

AntisymmetricCompareTo
Objects with an antisymmetric compareTo operation.

CompareTo
Objects with a compareTo operation.

NaturalNumber
The natural numbers.

NaturalNumber_JML_Test
Automatically-generated test driver for JML and JUnit based testing of NaturalNumber.

NaturalNumber_JML_Test.OneTest
A JUnit test object that can run a single test method.

NaturalNumber_JML_TestData
Supply test data for the JML and JUnit based testing of Person.

PreorderedCompareTo
Objects with a preorder for their compareTo operation.

ReflexiveCompareTo
Objects with a reflexive compareTo operation.

StrictPartiallyOrderedCompareTo
Objects with a strict partially ordered compareTo operation.

StringOfObject
Sequences of non-null object identities.

StringOfObject_JML_Test
Automatically-generated test driver for JML and JUnit based testing of StringOfObject.

StringOfObject_JML_Test.OneTest
A JUnit test object that can run a single test method.

StringOfObject_JML_TestData
Supply test data for the JML and JUnit based testing of Person.

TotalCompareTo
Objects whose compareTo operation is guaranteed not to throw an UndefinedException and only throws a ClassCastException when the class of the argument prohibits comparison.

TotallyOrderedCompareTo
Objects with a totally ordered compareTo operation.

TotalPreorderedCompareTo
Objects with a total preorder for their compareTo operation.

TransitiveCompareTo
Objects with a transitive compareTo operation.

TrichotomousCompareTo
Objects with a trichotomous compareTo operation.

UndefinedException
Exception used to indicate that a comparison is undefined.