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 |
setName(java.lang.String name)
Deprecated.
use copyWithName().
|
java.util.Iterator<java.lang.Integer> iterator()
iterator
in interface java.lang.Iterable<java.lang.Integer>
int length()
java.lang.String getName()
@Deprecated RangeIterator setName(java.lang.String name)
RangeIterator copyWithName(java.lang.String name)