Home | History | Annotate | Download | only in src

Lines Matching full:file

5  * you may not use this file except in compliance with the License.
20         this.file = "<unknown>";
25     public SourcePositionInfo(String file, int line, int column)
27         this.file = file;
34         this.file = that.file;
59         return new SourcePositionInfo(that.file, line, 0);
76         return new SourcePositionInfo(that.file, line, 0);
82         return file + ':' + line;
87         int r = this.file.compareTo(that.file);
92     public String file;