+package jalview.io;
+
+import java.io.File;
+import java.io.FilenameFilter;
+import java.io.IOException;
+
+public class BackupFilenameFilter implements FilenameFilter
+{
+
+ public String base;
+
+ public String template;
+
+ public int digits;
+
+ public BackupFilenameFilter(String base, String template, int digits)
+ {
+ this.base = base;
+ this.template = template;
+ this.digits = digits;
+ }
+
+ @Override
+ public boolean accept(File dir, String filename)
+ {
+ try
+ {
+ File file = new File(
+ dir.getCanonicalPath() + File.separatorChar + filename);
+ if (file.isDirectory())
+ {
+ // backup files aren't dirs!
+ return false;
+ }
+ } catch (IOException e)
+ {
+ System.out.println("IOException when checking file '" + filename
+ + "' is a backupfile");
+ }
+
+ BackupFilenameParts bffp = new BackupFilenameParts(filename, base,
+ template, digits);
+ return bffp.isBackupFile();
+ }
+
+}