code: public ProtoFile protoFile(String path) {
      for (ProtoFile protoFile : protoFiles) {
        if (protoFile.location().getPath().equals(path)) {
          return protoFile;
        }
      }
      return null;
    }
docs: Returns the proto file at {@code path}, or null if this schema has no such file.