public int digits;
- public String extension;
-
- public BackupFilenameFilter(String base, String template, int digits,
- String extension)
+ public BackupFilenameFilter(String base, String template, int digits)
{
this.base = base;
this.template = template;
this.digits = digits;
- this.extension = extension;
}
@Override
public boolean accept(File dir, String filename)
{
- boolean ret = false;
try
{
File file = new File(
}
BackupFilenameParts bffp = new BackupFilenameParts(filename, base,
- template, digits, extension);
- ret = bffp.isBackupFile();
- return ret;
+ template, digits);
+ return bffp.isBackupFile();
}
public static String getBackupFilename(int index, String base,
- String template, int digits, String extension)
+ String template, int digits)
{
String numString = String.format("%0" + digits + "d", index);
String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
numString);
- String backupfilename = base + backupSuffix + extension;
+ String backupfilename = base + backupSuffix;
return backupfilename;
}