Lines Matching refs:that
28 public SourcePositionInfo(SourcePositionInfo that) {
29 this.file = that.file;
30 this.line = that.line;
31 this.column = that.column;
35 * Given this position and str which occurs at that position, as well as str an index into str,
40 public static SourcePositionInfo add(SourcePositionInfo that, String str, int index) {
41 if (that == null) {
44 int line = that.line;
53 return new SourcePositionInfo(that.file, line, 0);
56 public static SourcePositionInfo findBeginning(SourcePositionInfo that, String str) {
57 if (that == null) {
60 int line = that.line - 1; // -1 because, well, it seems to work
69 return new SourcePositionInfo(that.file, line, 0);
78 SourcePositionInfo that = (SourcePositionInfo) o;
79 int r = this.file.compareTo(that.file);
81 return this.line - that.line;