/** * Returns the canonical file name for the given file, or "standard output" if the file name is * empty. */ private String fileName(File file) { if (isFile(file)) { try { return file.getCanonicalPath(); } catch (IOException ex) { return file.getPath(); } } else { return "standard output"; } }
/** * Returns whether the given file is actually a file, or just a placeholder for the standard * output. */ private boolean isFile(File file) { return file.getPath().length() > 0; }