Lines Matching defs:file
5 * you may not use this file except in compliance with the License.
22 public SourcePositionInfo(String file, int line, int column) {
23 this.file = file;
29 this.file = that.file;
53 return new SourcePositionInfo(that.file, line, 0);
69 return new SourcePositionInfo(that.file, line, 0);
74 return file + ':' + line;
79 int r = this.file.compareTo(that.file);
100 public String file;