Uses of Interface
org.jmlspecs.models.JMLEnumeration

Packages that use JMLEnumeration

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

Classes in org.jmlspecs.models that implement JMLEnumeration

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	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.
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.
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	JMLValueBagEnumerator Enumerators for bags (i.e., multisets) of values.
class	JMLValueSequenceEnumerator An enumerator for sequences of values.
class	JMLValueSetEnumerator An enumerator for sets of values.
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.

Fields in org.jmlspecs.models declared as JMLEnumeration

protected JMLEnumeration

JMLEnumerationToIterator.theEnumeration

Constructors in org.jmlspecs.models with parameters of type JMLEnumeration

JMLEnumerationToIterator(JMLEnumeration e)
Initialize this iterator with the given Enumeration.