Produces the elements of an Iterable object. For
example, this class has an Iterator that produces the
integers from min to max:
class IntegerIterable(Integer min, Integer max)
satisfies {Integer+} {
iterator() => object satisfies Iterator<Integer> {
variable value i = min;
next() => i<=max then i++ else finished;
};
}
An iterator is exhausted when next() produces the
value finished.
Iterableno type hierarchy
no supertypes hierarchy
| Methods | |
next | Source Codeshared formal Element|Finished next()The next element, or Repeated invocations of If an invocation of An iterator for a nonfinite stream may never produce
the value |
| Inherited Methods |
Methods inherited from: Object |