FOREIGN MODULE java_util_zip;
IMPORT
java_lang,
java_io,
java_util;
TYPE
Adler32* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + Checksum)
STATIC
PROCEDURE Init*() : Adler32,CONSTRUCTOR;
END;
CheckedInputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterInputStream)
STATIC
PROCEDURE Init*(p0 : java_io.InputStream;
p1 : Checksum) : CheckedInputStream,CONSTRUCTOR;
END;
CheckedOutputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterOutputStream)
STATIC
PROCEDURE Init*(p0 : java_io.OutputStream;
p1 : Checksum) : CheckedOutputStream,CONSTRUCTOR;
END;
Checksum* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
CRC32* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + ARRAY OF BigInteger)
STATIC
PROCEDURE Init*() : CRC32,CONSTRUCTOR;
END;
DataFormatException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
STATIC
PROCEDURE Init*() : DataFormatException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : DataFormatException,CONSTRUCTOR;
END;
Deflater* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
DEFLATED* = 8;
NO_COMPRESSION* = 0;
BEST_SPEED* = 1;
BEST_COMPRESSION* = 9;
DEFAULT_COMPRESSION* = -1;
FILTERED* = 1;
HUFFMAN_ONLY* = 2;
DEFAULT_STRATEGY* = 0;
PROCEDURE Init*() : Deflater,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER) : Deflater,CONSTRUCTOR;
PROCEDURE Init*(p0 : INTEGER;
p1 : BOOLEAN) : Deflater,CONSTRUCTOR;
END;
DeflaterOutputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterOutputStream)
def! : Deflater;
buf! : POINTER TO ARRAY OF BYTE;
STATIC
PROCEDURE Init*(p0 : java_io.OutputStream) : DeflaterOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.OutputStream;
p1 : Deflater) : DeflaterOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.OutputStream;
p1 : Deflater;
p2 : INTEGER) : DeflaterOutputStream,CONSTRUCTOR;
END;
GZIPInputStream* = POINTER TO EXTENSIBLE RECORD (InflaterInputStream)
crc! : CRC32;
eos! : BOOLEAN;
STATIC
GZIP_MAGIC* = 35615;
PROCEDURE Init*(p0 : java_io.InputStream) : GZIPInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.InputStream;
p1 : INTEGER) : GZIPInputStream,CONSTRUCTOR;
END;
GZIPOutputStream* = POINTER TO EXTENSIBLE RECORD (DeflaterOutputStream)
crc! : CRC32;
STATIC
PROCEDURE Init*(p0 : java_io.OutputStream) : GZIPOutputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.OutputStream;
p1 : INTEGER) : GZIPOutputStream,CONSTRUCTOR;
END;
Inflater* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : Inflater,CONSTRUCTOR;
PROCEDURE Init*(p0 : BOOLEAN) : Inflater,CONSTRUCTOR;
END;
InflaterInputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterInputStream)
inf! : Inflater;
buf! : POINTER TO ARRAY OF BYTE;
len! : INTEGER;
STATIC
PROCEDURE Init*(p0 : java_io.InputStream) : InflaterInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.InputStream;
p1 : Inflater) : InflaterInputStream,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_io.InputStream;
p1 : Inflater;
p2 : INTEGER) : InflaterInputStream,CONSTRUCTOR;
END;
ZipEntry* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + ZipConstants + java_lang.Cloneable)
STATIC
STORED* = 0;
DEFLATED* = 8;
PROCEDURE Init*(p0 : java_lang.String) : ZipEntry,CONSTRUCTOR;
PROCEDURE Init*(p0 : ZipEntry) : ZipEntry,CONSTRUCTOR;
END;
ZipException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException)
STATIC
PROCEDURE Init*() : ZipException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : ZipException,CONSTRUCTOR;
END;
ZipFile* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + ZipConstants)
STATIC
PROCEDURE Init*(p0 : java_io.File) : ZipFile,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : ZipFile,CONSTRUCTOR;
END;
ZipInputStream* = POINTER TO EXTENSIBLE RECORD (InflaterInputStream + ZipConstants)
STATIC
PROCEDURE Init*(p0 : java_io.InputStream) : ZipInputStream,CONSTRUCTOR;
END;
ZipOutputStream* = POINTER TO EXTENSIBLE RECORD (DeflaterOutputStream + ZipConstants)
STATIC
STORED* = 0;
DEFLATED* = 8;
PROCEDURE Init*(p0 : java_io.OutputStream) : ZipOutputStream,CONSTRUCTOR;
END;
PROCEDURE (self:Adler32) getValue*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:Adler32) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:Adler32) update*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Adler32) update*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:Adler32) update*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:CheckedInputStream) getChecksum*() : Checksum,NEW,EXTENSIBLE;
PROCEDURE (self:CheckedInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:CheckedInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:CheckedInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:CheckedOutputStream) getChecksum*() : Checksum,NEW,EXTENSIBLE;
PROCEDURE (self:CheckedOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:CheckedOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:Checksum) getValue*() : LONGINT,NEW,ABSTRACT;
PROCEDURE (self:Checksum) reset*(),NEW,ABSTRACT;
PROCEDURE (self:Checksum) update*(p0 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Checksum) update*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:CRC32) getValue*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:CRC32) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:CRC32) update*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:CRC32) update*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:CRC32) update*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) deflate*(IN p0 : ARRAY OF BYTE) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) deflate*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) end*(),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) finalize!(),EXTENSIBLE;
PROCEDURE (self:Deflater) finish*(),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) finished*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) getAdler*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) getTotalIn*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) getTotalOut*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) needsInput*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setDictionary*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setDictionary*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setInput*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setInput*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setLevel*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Deflater) setStrategy*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:DeflaterOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:DeflaterOutputStream) deflate!(),NEW,EXTENSIBLE;
PROCEDURE (self:DeflaterOutputStream) finish*(),NEW,EXTENSIBLE;
PROCEDURE (self:DeflaterOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DeflaterOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:GZIPInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:GZIPInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:GZIPOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:GZIPOutputStream) finish*(),EXTENSIBLE;
PROCEDURE (self:GZIPOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:Inflater) end*(),NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) finalize!(),EXTENSIBLE;
PROCEDURE (self:Inflater) finished*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) getAdler*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) getRemaining*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) getTotalIn*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) getTotalOut*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) inflate*(IN p0 : ARRAY OF BYTE) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) inflate*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) needsDictionary*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) needsInput*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) setDictionary*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) setDictionary*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) setInput*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:Inflater) setInput*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) fill!(),NEW,EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:InflaterInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:ZipEntry) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getComment*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getCompressedSize*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getCrc*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getExtra*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getMethod*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getSize*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) getTime*() : LONGINT,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ZipEntry) isDirectory*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setComment*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setCompressedSize*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setCrc*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setExtra*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setMethod*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setSize*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) setTime*(p0 : LONGINT),NEW,EXTENSIBLE;
PROCEDURE (self:ZipEntry) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:ZipFile) close*(),NEW,EXTENSIBLE;
PROCEDURE (self:ZipFile) entries*() : java_util.Enumeration,NEW,EXTENSIBLE;
PROCEDURE (self:ZipFile) getEntry*(p0 : java_lang.String) : ZipEntry,NEW,EXTENSIBLE;
PROCEDURE (self:ZipFile) getInputStream*(p0 : ZipEntry) : java_io.InputStream,NEW,EXTENSIBLE;
PROCEDURE (self:ZipFile) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:ZipFile) size*() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) available*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ZipInputStream) closeEntry*(),NEW,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) createZipEntry!(p0 : java_lang.String) : ZipEntry,NEW,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) getNextEntry*() : ZipEntry,NEW,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:ZipInputStream) skip*(p0 : LONGINT) : LONGINT,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) close*(),EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) closeEntry*(),NEW,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) finish*(),EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) putNextEntry*(p0 : ZipEntry),NEW,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) setComment*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) setLevel*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) setMethod*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:ZipOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
END java_util_zip.