Uses of Interface
org.jmlspecs.models.JMLObjectType

Packages that use JMLObjectType

org.jmlspecs.models

This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of JMLObjectType in org.jmlspecs.models

Classes in org.jmlspecs.models that implement JMLObjectType

class	JMLEqualsBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLEqualsSequenceEnumerator An enumerator for sequences of objects.
class	JMLEqualsSetEnumerator An enumerator for sets of objects.
class	JMLObjectBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLObjectSequenceEnumerator An enumerator for sequences of objects.
class	JMLObjectSetEnumerator An enumerator for sets of objects.