code: private File getDiagramFile(FileFormat format) {
          File base = getDiagramBaseFile();
          return new File(base.getParent(), base.getName() + format.getFileSuffix());
      }
docs: The diagram file in the specified format.
  
  @param format The diagram file format.
  @return The diagram file.