()
| 71 | } |
| 72 | |
| 73 | public void reset() { |
| 74 | dispose(); |
| 75 | peer = make(nowrap); |
| 76 | input = null; |
| 77 | offset = length = 0; |
| 78 | needDictionary = finished = false; |
| 79 | } |
| 80 | |
| 81 | public int inflate(byte[] output) throws DataFormatException { |
| 82 | return inflate(output, 0, output.length); |