Uses of Class
org.jmlspecs.models.JMLValueSetEnumerator

Packages that use JMLValueSetEnumerator

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

Fields in org.jmlspecs.models declared as JMLValueSetEnumerator

protected JMLValueSetEnumerator	JMLValueToValueRelationEnumerator.imageEnum An enumerator for the range elements that are related to the key that have not yet been returned.
protected JMLValueSetEnumerator	JMLValueToValueRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLEqualsToValueRelationEnumerator.imageEnum An enumerator for the range elements that are related to the key that have not yet been returned.
protected JMLValueSetEnumerator	JMLEqualsToValueRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLValueToObjectRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLObjectToObjectRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLObjectToEqualsRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLObjectToValueRelationEnumerator.imageEnum An enumerator for the range elements that are related to the key that have not yet been returned.
protected JMLValueSetEnumerator	JMLObjectToValueRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLEqualsToObjectRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLValueToEqualsRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.
protected JMLValueSetEnumerator	JMLEqualsToEqualsRelationImageEnumerator.pairEnum An enumerator for the image pairs in this relation.

Methods in org.jmlspecs.models that return JMLValueSetEnumerator

JMLValueSetEnumerator	JMLValueSet.elements() Returns an Enumeration over this set.
JMLValueSetEnumerator	JMLValueToValueRelation.domainElements() Return a enumerator for the set that is the domain of this relation.
JMLValueSetEnumerator	JMLValueToValueRelation.rangeElements() Return a enumerator for the set that is the range of this relation.
JMLValueSetEnumerator	JMLObjectToValueRelation.rangeElements() Return a enumerator for the set that is the range of this relation.
JMLValueSetEnumerator	JMLEqualsToValueRelation.rangeElements() Return a enumerator for the set that is the range of this relation.
JMLValueSetEnumerator	JMLValueToEqualsRelation.domainElements() Return a enumerator for the set that is the domain of this relation.
JMLValueSetEnumerator	JMLValueToObjectRelation.domainElements() Return a enumerator for the set that is the domain of this relation.

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

JMLValueToValueRelationEnumerator(JMLValueToValueRelationImageEnumerator ipEnum, JMLValueSetEnumerator iEnum, JMLType k)

JMLValueToValueRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLEqualsToValueRelationEnumerator(JMLEqualsToValueRelationImageEnumerator ipEnum, JMLValueSetEnumerator iEnum, Object k)

JMLEqualsToValueRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLValueToObjectRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLObjectToObjectRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLObjectToEqualsRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLObjectToValueRelationEnumerator(JMLObjectToValueRelationImageEnumerator ipEnum, JMLValueSetEnumerator iEnum, Object k)

JMLObjectToValueRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLEqualsToObjectRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLValueToEqualsRelationImageEnumerator(JMLValueSetEnumerator pEnum)

JMLEqualsToEqualsRelationImageEnumerator(JMLValueSetEnumerator pEnum)