Uses of Interface
org.jmlspecs.models.JMLIterator

Packages that use JMLIterator

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.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.

Uses of JMLIterator in org.jmlspecs.models

Classes in org.jmlspecs.models that implement JMLIterator

class

JMLEnumerationToIterator A wrapper that makes any JMLEnumeration into a JMLIterator that does not support the remove operation.

Methods in org.jmlspecs.models that return JMLIterator

JMLIterator	JMLValueSet.iterator() Returns an Iterator over this set.
abstract JMLIterator	JMLCollection.iterator() Returns an Iterator over this object.
JMLIterator	JMLObjectSequence.iterator() Returns an iterator over this sequence.
JMLIterator	JMLValueSequence.iterator() Returns an iterator over this sequence.
JMLIterator	JMLValueToValueRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLObjectToValueRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLValueBag.iterator() Returns an iterator over this bag.
JMLIterator	JMLEqualsToValueRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLEqualsSet.iterator() Returns an Iterator over this set.
JMLIterator	JMLValueToEqualsRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLObjectToEqualsRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLObjectSet.iterator() Returns an Iterator over this set.
JMLIterator	JMLValueToObjectRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLObjectToObjectRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLEqualsSequence.iterator() Returns an iterator over this sequence.
JMLIterator	JMLObjectBag.iterator() Returns an iterator over this bag.
JMLIterator	JMLEqualsToObjectRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..
JMLIterator	JMLEqualsBag.iterator() Returns an iterator over this bag.
JMLIterator	JMLEqualsToEqualsRelation.iterator() Returns an Iterator over the set of pairs conceptually contained in this relation..

Uses of JMLIterator in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that return JMLIterator

JMLIterator

StringOfObject.iterator() Return an iterator for this string of objects.