|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |