public interface IntegerRange extends java.util.List<Value>
Modifier and Type | Method and Description |
---|---|
IntegerValue |
getFirst() |
IntegerValue |
getLast() |
IntegerValue |
getSize() |
java.util.Iterator<Value> |
iterator() |
@NonNull IntegerValue getFirst()
@NonNull IntegerValue getLast()
@NonNull IntegerValue getSize()