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