* BackupFiles used for manipulating (naming rolling/deleting) backup/version files when an alignment or project file is saved.
* User configurable options are:
* BACKUPFILES_ENABLED - boolean flag as to whether to use this mechanism or act as before, including overwriting files as saved.
- * BACKUPFILES_SUFFIX - a template to insert just before the file extension. Use '%n' to be replaced by a 0-led SUFFIX_DIGITS long integer.
+ * BACKUPFILES_SUFFIX - a template to insert after the file extension. Use '%n' to be replaced by a 0-led SUFFIX_DIGITS long integer.
* BACKUPFILES_NO_MAX - flag to turn off setting a maximum number of backup files to keep.
* BACKUPFILES_ROLL_MAX - the maximum number of backupfiles to keep for any one alignment or project file.
* BACKUPFILES_SUFFIX_DIGITS - the number of digits to insert replace %n with (e.g. BACKUPFILES_SUFFIX_DIGITS = 3 would make "001", "002", etc)
{
// labels for saved params in Cache and .jalview_properties
- private static String NS = "BACKUPFILES";
+ private static final String NS = "BACKUPFILES";
- public static String ENABLED = NS + "_ENABLED";
+ public static final String ENABLED = NS + "_ENABLED";
- public static String SUFFIX = NS + "_SUFFIX";
+ public static final String SUFFIX = NS + "_SUFFIX";
- public static String NO_MAX = NS + "_NO_MAX";
+ public static final String NO_MAX = NS + "_NO_MAX";
- public static String ROLL_MAX = NS + "_ROLL_MAX";
+ public static final String ROLL_MAX = NS + "_ROLL_MAX";
- public static String SUFFIX_DIGITS = NS + "_SUFFIX_DIGITS";
+ public static final String SUFFIX_DIGITS = NS + "_SUFFIX_DIGITS";
public static final String NUM_PLACEHOLDER = "%n";
- public static String REVERSE_ORDER = NS + "_REVERSE_ORDER";
+ public static final String REVERSE_ORDER = NS + "_REVERSE_ORDER";
- public static String CONFIRM_DELETE_OLD = NS + "_CONFIRM_DELETE_OLD";
+ public static final String CONFIRM_DELETE_OLD = NS + "_CONFIRM_DELETE_OLD";
- private static String DEFAULT_TEMP_FILE = "jalview_temp_file_" + NS;
+ private static final String DEFAULT_TEMP_FILE = "jalview_temp_file_" + NS;
+
+ private static final String TEMP_FILE_EXT = ".tmp";
// file - File object to be backed up and then updated (written over)
private File file;
// REVERSE_ORDER
public BackupFiles(File file)
{
- this(file, "-v" + NUM_PLACEHOLDER, false, 4, 3, false);
+ this(file, ".v" + NUM_PLACEHOLDER, false, 4, 3, false);
}
public BackupFiles(File file,
{
String tempfilename = file.getName();
File tempdir = file.getParentFile();
- temp = File.createTempFile(tempfilename, ".tmp", tempdir);
+ temp = File.createTempFile(tempfilename, TEMP_FILE_EXT, tempdir);
}
else
{
- temp = File.createTempFile(DEFAULT_TEMP_FILE, ".tmp");
+ temp = File.createTempFile(DEFAULT_TEMP_FILE, TEMP_FILE_EXT);
}
} catch (IOException e)
{
}
String filename = file.getName();
String basename = filename;
- String extension = "";
- int dotcharpos = filename.lastIndexOf('.');
- // don't split filenames with the last '.' at the very beginning or
- // very end of the filename
- if ((dotcharpos > 0) && (dotcharpos < filename.length() - 1))
- {
- basename = filename.substring(0, dotcharpos);
- extension = filename.substring(dotcharpos); // NOTE this includes the '.'
- }
boolean ret = true;
// Create/move backups up one
// find existing backup files
BackupFilenameFilter bff = new BackupFilenameFilter(basename, suffix,
- digits,
- extension);
+ digits);
File[] backupFiles = dirFile.listFiles(bff);
int nextIndexNum = 0;
String confirmDeleteExtraInfo = null;
}
else
{
- TreeMap<Integer, File> bfTreeMap = sortBackupFilesAsTreeMap(backupFiles, basename, extension);
+ TreeMap<Integer, File> bfTreeMap = sortBackupFilesAsTreeMap(backupFiles, basename);
if (reverseOrder)
{
// int n = tempMax - m;
String backupfilename = dir + File.separatorChar
+ BackupFilenameFilter.getBackupFilename(n, basename,
- suffix, digits, extension);
+ suffix, digits);
File backupfile_n = new File(backupfilename);
if (!backupfile_n.exists())
// move the largest (max) rolled file to a temp file and add to the delete list
try
{
- File temp = File.createTempFile(backupfilename, ".tmp",
+ File temp = File.createTempFile(backupfilename, TEMP_FILE_EXT,
dirFile);
backupfile_n.renameTo(temp);
// Let's make the new backup file!! yay, got there at last!
String latestBackupFilename = dir + File.separatorChar
+ BackupFilenameFilter.getBackupFilename(nextIndexNum, basename,
- suffix, digits, extension);
+ suffix, digits);
File latestBackupFile = new File(latestBackupFilename);
ret = ret && file.renameTo(latestBackupFile);
}
}
- private TreeMap sortBackupFilesAsTreeMap(File[] backupFiles, String basename, String extension) {
+ private TreeMap sortBackupFilesAsTreeMap(File[] backupFiles, String basename) {
// sort the backup files (based on integer found in the suffix) using a
// precomputed Hashmap for speed
Map<Integer, File> bfHashMap = new HashMap<>();
for (int i = 0; i < backupFiles.length; i++)
{
File f = backupFiles[i];
- BackupFilenameParts bfp = new BackupFilenameParts(f, basename, suffix, digits, extension);
+ BackupFilenameParts bfp = new BackupFilenameParts(f, basename, suffix, digits);
bfHashMap.put(bfp.indexNum(), f);
}
TreeMap<Integer, File> bfTreeMap = new TreeMap<>();
String filename = file.getName();
String basename = filename;
- String extension = "";
- int dotcharpos = filename.lastIndexOf('.');
- // don't split of filenames with the last '.' at the very beginning or
- // very end of the filename
- if ((dotcharpos > 0) && (dotcharpos < filename.length() - 1))
- {
- basename = filename.substring(0, dotcharpos);
- extension = filename.substring(dotcharpos); // NOTE this includes the '.'
- }
// find existing backup files
- BackupFilenameFilter bff = new BackupFilenameFilter(basename, suffix, digits, extension);
+ BackupFilenameFilter bff = new BackupFilenameFilter(basename, suffix, digits);
backupFiles = dirFile.listFiles(bff); // is clone needed?
// sort the backup files (based on integer found in the suffix) using a
{
File f = backupFiles[i];
BackupFilenameParts bfp = new BackupFilenameParts(f, basename, suffix,
- digits, extension);
+ digits);
bfHashMap.put(bfp.indexNum(), f);
}
TreeMap<Integer, File> bfTreeMap = new TreeMap<>();
return bfTreeMap;
}
- public static File[] getBackupFiles(String fileName, String suffix,
- int digits)
- {
- TreeMap<Integer, File> bfTreeMap = getBackupFilesAsTreeMap(fileName,
- suffix, digits);
- File[] backupFiles = new File[bfTreeMap.size()];
- bfTreeMap.values().toArray(backupFiles);
- return backupFiles;
- }
}