4 import java.io.FilenameFilter;
5 import java.io.IOException;
7 public class BackupFilenameFilter implements FilenameFilter
12 public String template;
16 public String extension;
18 public BackupFilenameFilter(String base, String template, int digits,
22 this.template = template;
24 this.extension = extension;
28 public boolean accept(File dir, String filename)
34 dir.getCanonicalPath() + File.separatorChar + filename);
35 if (file.isDirectory())
37 // backup files aren't dirs!
40 } catch (IOException e)
42 System.out.println("IOException when checking file '" + filename
43 + "' is a backupfile");
46 BackupFilenameParts bffp = new BackupFilenameParts(filename, base,
47 template, digits, extension);
48 ret = bffp.isBackupFile();
52 public static String getBackupFilename(int index, String base,
53 String template, int digits, String extension)
55 String numString = String.format("%0" + digits + "d", index);
56 String backupSuffix = template.replaceAll(BackupFiles.NUM_PLACEHOLDER,
58 String backupfilename = base + backupSuffix + extension;
59 return backupfilename;