32     public SourcePositionInfo(SourcePositionInfo that)  in SourcePositionInfo()  argument
34         this.file = that.file;  in SourcePositionInfo()
35         this.line = that.line;  in SourcePositionInfo()
36         this.column = that.column;  in SourcePositionInfo()
45     public static SourcePositionInfo add(SourcePositionInfo that, String str, int index)  in add()  argument
47         if (that == null) {  in add()
50         int line = that.line;  in add()
59         return new SourcePositionInfo(that.file, line, 0);  in add()
62     public static SourcePositionInfo findBeginning(SourcePositionInfo that, String str)  in findBeginning()  argument
64         if (that == null) {  in findBeginning()
67         int line = that.line-1; // -1 because, well, it seems to work  in findBeginning()
76         return new SourcePositionInfo(that.file, line, 0);  in findBeginning()
86         SourcePositionInfo that = (SourcePositionInfo)o;  in compareTo()  local
87         int r = this.file.compareTo(that.file);  in compareTo()
89         return this.line - that.line;  in compareTo()