Uses of Interface
org.jmlspecs.models.JMLValueType

Packages that use JMLValueType

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 JMLValueType in org.jmlspecs.models

Classes in org.jmlspecs.models that implement JMLValueType

(package private) class	JMLEqualsBagEntryNode Internal class used in the implementation of JMLEqualsBag.
class	JMLEqualsToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLEqualsToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
(package private) class	JMLListValueNode An implementation class used in various models.
(package private) class	JMLObjectBagEntryNode Internal class used in the implementation of JMLObjectBag.
class	JMLObjectToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLObjectToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueBag Bags (i.e., multisets) of values.
(package private) class	JMLValueBagEntryNode Internal class used in the implementation of JMLValueBag.
class	JMLValueBagEnumerator Enumerators for bags (i.e., multisets) of values.
class	JMLValueBagSpecs Special behavior for JMLValueBag not shared by JMLObjectBag.
class	JMLValueSequence Sequences of values.
class	JMLValueSequenceEnumerator An enumerator for sequences of values.
class	JMLValueSequenceSpecs Specical behavior for JMLValueSequence not shared by JMLObjectSequence.
class	JMLValueSet Sets of values.
class	JMLValueSetEnumerator An enumerator for sets of values.
class	JMLValueSetSpecs Special behavior for JMLValueSet not shared by JMLObjectSet.
class	JMLValueToEqualsRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToObjectRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToValueRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type JMLType that form the associations in a relation.
class	JMLValueToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.