public interface RangeIterator
extends java.lang.Iterable<java.lang.Integer>
Modifier and Type | Method and Description |
---|---|
RangeIterator |
copyWithName(java.lang.String name)
Make a copy with a different name.
|
java.lang.String |
getName()
The name of this Range iterator.
|
java.util.Iterator<java.lang.Integer> |
iterator() |
int |
length()
The number of index in this iterator.
|
RangeIterator copyWithName(java.lang.String name)
java.lang.String getName()
java.util.Iterator<java.lang.Integer> iterator()
iterator
in interface java.lang.Iterable<java.lang.Integer>
int length()