public class Range
extends java.lang.Object
Constructor and Description |
---|
Range(int s,
int e)
Creates a new range
[s,e) . |
Range(Range r)
Creates a copy of the specified range.
|
Modifier and Type | Method and Description |
---|---|
int |
end() |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
int |
length() |
int |
start() |
java.lang.String |
toString() |
public Range(int s, int e)
[s,e)
.s
- this range's (included) start position.e
- this range's (excluded) end position.public Range(Range r)
r
- the range to copy.public int start()
public int end()
public int length()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.