28   public SourcePositionInfo(SourcePositionInfo that) {  in SourcePositionInfo()  argument
29     this.file = that.file;  in SourcePositionInfo()
30     this.line = that.line;  in SourcePositionInfo()
31     this.column = that.column;  in SourcePositionInfo()
40   public static SourcePositionInfo add(SourcePositionInfo that, String str, int index) {  in add()  argument
41     if (that == null) {  in add()
44     int line = that.line;  in add()
53     return new SourcePositionInfo(that.file, line, 0);  in add()
56   public static SourcePositionInfo findBeginning(SourcePositionInfo that, String str) {  in findBeginning()  argument
57     if (that == null) {  in findBeginning()
60     int line = that.line - 1; // -1 because, well, it seems to work  in findBeginning()
69     return new SourcePositionInfo(that.file, line, 0);  in findBeginning()
78     SourcePositionInfo that = (SourcePositionInfo) o;  in compareTo()  local
79     int r = this.file.compareTo(that.file);  in compareTo()
81     return this.line - that.line;  in compareTo()