return ret;
}
+ public static String getBackupFilename(int index, String base,
+ String template, int digits, String extension)
+ {
+ String numString = String.format("%0" + digits + "d", index);
+ String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
+ numString);
+ String backupfilename = base + backupSuffix + extension;
+ return backupfilename;
+ }
+
}
class BackupFilenameParts
}
- public static String getBackupFilename(int index, String base,
- String template,
- int digits, String extension)
- {
- String numString = String.format("%0" + digits + "d", index);
- String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
- numString);
- String backupfilename = base + backupSuffix + extension;
- return backupfilename;
- }
-
public boolean isBackupFile()
{
return this.isBackupFile;