Lines Matching refs:end
6 * A range of characters in a source file, from "begin" to "end", including the characters at "begin" and "end".
12 public final Position end;
14 public Range(Position begin, Position end) {
18 if (end == null) {
19 throw new IllegalArgumentException("end can't be null");
22 this.end = end;
25 public static Range range(Position begin, Position end) {
26 return new Range(begin, end);
34 return range(begin.withColumn(column), end);
38 return range(begin.withLine(line), end);
42 return range(begin, end.withColumn(column));
46 return range(begin, end.withLine(line));
50 return range(begin, this.end);
53 public Range withEnd(Position end) {
54 return range(this.begin, end);
58 return begin.isBefore(other.begin) && end.isAfter(other.end);
62 return end.isBefore(position);
76 return begin.equals(range.begin) && end.equals(range.end);
82 return 31 * begin.hashCode() + end.hashCode();
87 return begin+"-"+end;
