X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FBackupFilenameFilter.java;h=db1645a08fe6973a3e320a76d2af40dadedad8b6;hb=3069ade337eb42af30baf34a69f0a7f4cefe3948;hp=1fed65cf14ee62bc482642e0176f605389bf702e;hpb=7aca2aabd6a2b169c567a4d4d6f0e1c42d9337f0;p=jalview.git

diff --git a/src/jalview/io/BackupFilenameFilter.java b/src/jalview/io/BackupFilenameFilter.java
index 1fed65c..db1645a 100644
--- a/src/jalview/io/BackupFilenameFilter.java
+++ b/src/jalview/io/BackupFilenameFilter.java
@@ -61,83 +61,3 @@ public class BackupFilenameFilter implements FilenameFilter
 
 }
 
-class BackupFilenameParts
-{
-  String base;
-
-  String templateStart;
-
-  int num;
-
-  int digits;
-
-  String templateEnd;
-
-  String extension;
-
-  boolean isBackupFile;
-
-  public BackupFilenameParts(File file, String base, String template, int digits,
-          String extension)
-  {
-    this(file.getName(), base, template, digits, extension);
-  }
-
-  public BackupFilenameParts(String filename, String base, String template,
-          int digits, String extension)
-  {
-    this.isBackupFile = false;
-
-    // calculate minimum length of a backup filename
-    int minlength = base.length() + template.length()
-            - BackupFiles.NUM_PLACEHOLDER.length() + digits
-            + extension.length();
-
-    if (!(filename.startsWith(base) && filename.endsWith(extension)
-            && filename.length() >= minlength))
-    {
-      // non-starter
-      return;
-    }
-
-    int numcharstart = template.indexOf(BackupFiles.NUM_PLACEHOLDER);
-    String templateStart = template;
-    String templateEnd = "";
-    if (numcharstart > -1)
-    {
-      templateStart = template.substring(0, numcharstart);
-      templateEnd = template.substring(
-              numcharstart + BackupFiles.NUM_PLACEHOLDER.length());
-    }
-    
-    int startLength = base.length() + templateStart.length();
-    int endLength = templateEnd.length() + extension.length();
-    String numString = filename.substring(startLength,
-            filename.length() - endLength);
-
-    if (filename.length() >= startLength + digits + endLength
-            && filename.startsWith(base + templateStart)
-            && filename.endsWith(templateEnd + extension)
-            && numString.matches("[0-9]+"))
-    {
-      this.base = base;
-      this.templateStart = templateStart;
-      this.num = Integer.parseInt(numString);
-      this.digits = digits;
-      this.templateStart = templateStart;
-      this.templateEnd = templateEnd;
-      this.isBackupFile = true;
-    }
-    
-  }
-
-  public boolean isBackupFile()
-  {
-    return this.isBackupFile;
-  }
-
-  public int indexNum()
-  {
-    return this.num;
-  }
-}
\ No newline at end of file