--- /dev/null
+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 InputStream newBZip2InputStream(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 binaryFileList, String exclude,
+ 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);
+}