/** * @param name Name of ARCFile. * @param dotFileExtension '.arc' or '.warc', etc. * @return short name of Archive file. */ public static String getStrippedFileName(String name, final String dotFileExtension) { name = stripExtension(name, ArchiveFileConstants.DOT_COMPRESSED_FILE_EXTENSION); return stripExtension(name, dotFileExtension); }
/** * @param name Name of ARCFile. * @param dotFileExtension '.arc' or '.warc', etc. * @return short name of Archive file. */ public static String getStrippedFileName(String name, final String dotFileExtension) { name = stripExtension(name, ArchiveFileConstants.DOT_COMPRESSED_FILE_EXTENSION); return stripExtension(name, dotFileExtension); }
/** * @param name Name of ARCFile. * @param dotFileExtension '.arc' or '.warc', etc. * @return short name of Archive file. */ public static String getStrippedFileName(String name, final String dotFileExtension) { name = stripExtension(name, ArchiveFileConstants.DOT_COMPRESSED_FILE_EXTENSION); return stripExtension(name, dotFileExtension); }
BufferedWriter cdxWriter = null; if (toFile) { String cdxFilename = stripExtension(getReaderIdentifier(), DOT_COMPRESSED_FILE_EXTENSION); cdxFilename = stripExtension(cdxFilename, getDotFileExtension()); cdxFilename += ('.' + CDX); cdxWriter = new BufferedWriter(new FileWriter(cdxFilename));
BufferedWriter cdxWriter = null; if (toFile) { String cdxFilename = stripExtension(getReaderIdentifier(), DOT_COMPRESSED_FILE_EXTENSION); cdxFilename = stripExtension(cdxFilename, getDotFileExtension()); cdxFilename += ('.' + CDX); cdxWriter = new BufferedWriter(new FileWriter(cdxFilename));
BufferedWriter cdxWriter = null; if (toFile) { String cdxFilename = stripExtension(getReaderIdentifier(), DOT_COMPRESSED_FILE_EXTENSION); cdxFilename = stripExtension(cdxFilename, getDotFileExtension()); cdxFilename += ('.' + CDX); cdxWriter = new BufferedWriter(new FileWriter(cdxFilename));