Lines Matching refs:end
27 * A range of characters in a source file, from "begin" to "end", including the characters at "begin" and "end".
31 public final Position end;
33 public Range(Position begin, Position end) {
37 if (end == null) {
38 throw new IllegalArgumentException("end can't be null");
41 this.end = end;
44 public static Range range(Position begin, Position end) {
45 return new Range(begin, end);
53 return range(begin.withColumn(column), end);
57 return range(begin.withLine(line), end);
61 return range(begin, end.withColumn(column));
65 return range(begin, end.withLine(line));
69 return range(begin, this.end);
72 public Range withEnd(Position end) {
73 return range(this.begin, end);
81 (end.isAfter(other.end) || end.equals(other.end));
86 * or before and end as other or after.
89 return begin.isBefore(other.begin) && end.isAfter(other.end);
93 return end.isBefore(position);
107 return begin.equals(range.begin) && end.equals(range.end);
113 return 31 * begin.hashCode() + end.hashCode();
118 return begin + "-" + end;
