X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FIdentifyFile.java;h=b3124745d3596ff562e65e291027505ba83bfe08;hb=7c269dc87e6fda52db3d73d07bc5f3e879e1f681;hp=e2786aee0e0ff594719bd0d9d9c50f04b1b24c99;hpb=5969ead0fd401f4435a3435ede9e4e87cf9c1d0b;p=jalview.git diff --git a/src/jalview/io/IdentifyFile.java b/src/jalview/io/IdentifyFile.java index e2786ae..b312474 100755 --- a/src/jalview/io/IdentifyFile.java +++ b/src/jalview/io/IdentifyFile.java @@ -31,9 +31,18 @@ import java.io.IOException; */ public class IdentifyFile { + + public FileFormatI identify(Object file, DataSourceType protocol) throws FileFormatException + { + // BH 2018 + return (file instanceof File ? identify((File) file, protocol) : identify((String) file, protocol)); + + } + public FileFormatI identify(File file, DataSourceType sourceType) throws FileFormatException { + // BH 2018 String emessage = "UNIDENTIFIED FILE PARSING ERROR"; FileParse parser = null; try @@ -156,16 +165,16 @@ public class IdentifyFile if (source.inFile != null) { String fileStr = source.inFile.getName(); - // possibly a Jalview archive. - if (fileStr.lastIndexOf(".jar") > -1 - || fileStr.lastIndexOf(".zip") > -1) + if (fileStr.contains(".jar") + || fileStr.contains(".zip") || fileStr.contains(".jvp")) { + // possibly a Jalview archive (but check further) reply = FileFormat.Jalview; } } if (!lineswereskipped && data.startsWith("PK")) { - reply = FileFormat.Jalview; // archive. + reply = FileFormat.Jalview; // archive break; } } @@ -443,6 +452,11 @@ public class IdentifyFile return true; } + /** + * + * @param args + * @j2sIgnore + */ public static void main(String[] args) { for (int i = 0; args != null && i < args.length; i++) @@ -466,4 +480,5 @@ public class IdentifyFile } } + }