home *** CD-ROM | disk | FTP | other *** search
- package java.util.zip;
-
- import java.io.EOFException;
- import java.io.IOException;
- import java.io.InputStream;
-
- class ZipFile$1 extends InflaterInputStream {
- private boolean isClosed;
- private boolean eof;
- // $FF: synthetic field
- private final ZipFile this$0;
-
- ZipFile$1(ZipFile var1, InputStream var2, Inflater var3) {
- super(var2, var3);
- this.this$0 = var1;
- this.isClosed = false;
- }
-
- public void close() throws IOException {
- if (!this.isClosed) {
- ZipFile.access$000(this.this$0, super.inf);
- super.in.close();
- this.isClosed = true;
- }
-
- }
-
- protected void fill() throws IOException {
- if (this.eof) {
- throw new EOFException("Unexpected end of ZLIB input stream");
- } else {
- super.len = super.in.read(super.buf, 0, super.buf.length);
- if (super.len == -1) {
- super.buf[0] = 0;
- super.len = 1;
- this.eof = true;
- }
-
- super.inf.setInput(super.buf, 0, super.len);
- }
- }
-
- public int available() throws IOException {
- return super.available() != 0 ? super.in.available() : 0;
- }
- }
-