public class NamedInterval extends Interval
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
name |
end, SERIALIZER, start| Modifier | Constructor and Description |
|---|---|
protected |
NamedInterval(int start,
int end,
java.lang.String name)
create an interval
Invariant start <= end is checked.
|
| Modifier and Type | Method and Description |
|---|---|
static NamedInterval |
of(int start,
int end,
java.lang.String name)
create an interval
Invariant start <= end is checked.
|
java.lang.String |
toString() |
covers, getEnvelope, isAdjacentOrOverlap, less, of, overlaps, parseprotected NamedInterval(int start,
int end,
java.lang.String name)
start - end - public static NamedInterval of(int start, int end, java.lang.String name)
start - end -