X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fio%2FFileParse.java;h=47583f0b57fb3b176a5be1d0abcd986fccec3c20;hb=a8f483d04205bb8273ee311c12968b7e86d205fa;hp=2caf634f7820d06f3661107f347d873c0cc01ccf;hpb=b57a02c25e335d033c97f8a6bacd6b54f62bd2b6;p=jalview.git diff --git a/src/jalview/io/FileParse.java b/src/jalview/io/FileParse.java index 2caf634..47583f0 100755 --- a/src/jalview/io/FileParse.java +++ b/src/jalview/io/FileParse.java @@ -1,24 +1,26 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) + * Copyright (C) 2014 The Jalview Authors * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - * + * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR * PURPOSE. See the GNU General Public License for more details. * * You should have received a copy of the GNU General Public License along with Jalview. If not, see . + * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.io; import java.io.*; import java.net.*; +import java.util.zip.GZIPInputStream; /** * implements a random access wrapper around a particular datasource, for @@ -141,18 +143,63 @@ public class FileParse } if (!error) { + if (fileStr.toLowerCase().endsWith(".gz")) + { + try + { + dataIn = tryAsGzipSource(new FileInputStream(fileStr)); + dataName = fileStr; + return error; + } catch (Exception x) + { + warningMessage = "Failed to resolve as a GZ stream (" + + x.getMessage() + ")"; + x.printStackTrace(); + } + ; + } + dataIn = new BufferedReader(new FileReader(fileStr)); dataName = fileStr; } return error; } - + private BufferedReader tryAsGzipSource(InputStream inputStream) throws Exception + { + BufferedReader inData = new BufferedReader(new InputStreamReader(new GZIPInputStream(inputStream))); + inData.mark(2048); + inData.read(); + inData.reset(); + return inData; + } private boolean checkURLSource(String fileStr) throws IOException, MalformedURLException { errormessage = "URL NOT FOUND"; URL url = new URL(fileStr); - dataIn = new BufferedReader(new InputStreamReader(url.openStream())); + // + // GZIPInputStream code borrowed from Aquaria (soon to be open sourced) via Kenny Sabir + Exception e=null; + if (fileStr.toLowerCase().endsWith(".gz")) { + try { + InputStream inputStream = url.openStream(); + dataIn = tryAsGzipSource(inputStream); + dataName = fileStr; + return false; + } catch (Exception ex) { + e=ex; + } + } + + try { + dataIn = new BufferedReader(new InputStreamReader(url.openStream())); + } catch (IOException q) { + if (e!=null) + { + throw new IOException("Failed to resolve GZIP stream", e); + } + throw q; + } // record URL as name of datasource. dataName = fileStr; return false;