Lines Matching defs:getFile
118 result.getFile() == this) {
142 result.getFile() == this) {
166 result.getFile() == this) {
189 result.getFile() == this) {
449 public FileDescriptor getFile() { return file; }
667 public FileDescriptor getFile() { return file; }
1161 public FileDescriptor getFile() { return file; }
1276 public FileDescriptor getFile() { return file; }
1337 public FileDescriptor getFile() { return file; }
1427 public FileDescriptor getFile() { return file; }
1516 FileDescriptor getFile();
1715 if (descriptor.getFile() == old.getFile()) {
1728 old.getFile().getName() + "\".");
1742 public FileDescriptor getFile() { return file; }
1781 + "package) in file \"" + old.getFile().getName() + "\".");