public interface RangeIterator extends Iterable<Integer>
Modifier and Type | Method and Description |
---|---|
RangeIterator |
copyWithName(String name)
Make a copy with a different name.
|
String |
getName()
The name of this Range iterator.
|
Iterator<Integer> |
iterator() |
int |
length()
The number of index in this iterator.
|
RangeIterator |
setName(String name)
Deprecated.
use copyWithName().
|
forEach, spliterator
int length()
String getName()
@Deprecated RangeIterator setName(String name)
RangeIterator copyWithName(String name)