Merge branch 'master' of https://source.jalview.org/git/jalviewjs.git

[jalviewjs.git] / src / javajs / api / GenericZipTools.java

diff --git a/src/javajs/api/GenericZipTools.java b/src/javajs/api/GenericZipTools.java
index 4d71191..2fcaa10 100644 (file)
--- a/src/javajs/api/GenericZipTools.java
+++ b/src/javajs/api/GenericZipTools.java
@@ -1,45 +1,45 @@
-package javajs.api;\r
-\r
-import java.io.BufferedInputStream;\r
-import java.io.IOException;\r
-import java.io.InputStream;\r
-\r
-import java.util.Map;\r
-\r
-\r
-public interface GenericZipTools {\r
-\r
-  public ZInputStream newZipInputStream(InputStream is);\r
-  \r
-  public String getZipDirectoryAsStringAndClose(BufferedInputStream t);\r
-\r
-  public InputStream newGZIPInputStream(InputStream bis) throws IOException;\r
-\r
-  public Object getZipFileDirectory(BufferedInputStream bis,\r
-                                          String[] subFileList, int listPtr, boolean asBufferedInputStream);\r
-\r
-  public String[] getZipDirectoryAndClose(BufferedInputStream t,\r
-                                                 String manifestID);\r
-\r
-  public void getAllZipData(InputStream bis, String[] subFileList,\r
-                                String replace, String string,\r
-                                Map<String, String> fileData);\r
-\r
-  public Object getZipFileContentsAsBytes(BufferedInputStream bis,\r
-                                                 String[] subFileList, int i);\r
-\r
-  public void addZipEntry(Object zos, String fileName) throws IOException;\r
-\r
-  public void closeZipEntry(Object zos) throws IOException;\r
-\r
-  public Object getZipOutputStream(Object bos);\r
-\r
-  public int getCrcValue(byte[] bytes);\r
-\r
-  public void readFileAsMap(BufferedInputStream is, Map<String, Object> bdata, String name);\r
-\r
-  public String cacheZipContents(BufferedInputStream bis, String shortName,\r
-                                 Map<String, Object> cache, boolean asByteArray);\r
-\r
-  BufferedInputStream getUnGzippedInputStream(byte[] bytes);\r
-}\r
+package javajs.api;
+
+import java.io.BufferedInputStream;
+import java.io.IOException;
+import java.io.InputStream;
+
+import java.util.Map;
+
+
+public interface GenericZipTools {
+
+  public ZInputStream newZipInputStream(InputStream is);
+  
+  public String getZipDirectoryAsStringAndClose(BufferedInputStream t);
+
+  public InputStream newGZIPInputStream(InputStream bis) throws IOException;
+
+  public Object getZipFileDirectory(BufferedInputStream bis,
+                                          String[] subFileList, int listPtr, boolean asBufferedInputStream);
+
+  public String[] getZipDirectoryAndClose(BufferedInputStream t,
+                                                 String manifestID);
+
+  public void getAllZipData(InputStream bis, String[] subFileList,
+                                String replace, String string,
+                                Map<String, String> fileData);
+
+  public Object getZipFileContentsAsBytes(BufferedInputStream bis,
+                                                 String[] subFileList, int i);
+
+  public void addZipEntry(Object zos, String fileName) throws IOException;
+
+  public void closeZipEntry(Object zos) throws IOException;
+
+  public Object getZipOutputStream(Object bos);
+
+  public int getCrcValue(byte[] bytes);
+
+  public void readFileAsMap(BufferedInputStream is, Map<String, Object> bdata, String name);
+
+  public String cacheZipContents(BufferedInputStream bis, String shortName,
+                                 Map<String, Object> cache, boolean asByteArray);
+
+  BufferedInputStream getUnGzippedInputStream(byte[] bytes);
+}