| /* GZIPOutputStream.java - Create a file in gzip format |
| Copyright (C) 1999, 2000 Free Software Foundation, Inc. |
| |
| This file is part of GNU Classpath. |
| |
| GNU Classpath is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| GNU Classpath is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GNU Classpath; see the file COPYING. If not, write to the |
| Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307 USA. |
| |
| As a special exception, if you link this library with other files to |
| produce an executable, this library does not by itself cause the |
| resulting executable to be covered by the GNU General Public License. |
| This exception does not however invalidate any other reasons why the |
| executable file might be covered by the GNU General Public License. */ |
| |
| package java.util.zip; |
| |
| import java.io.IOException; |
| import java.io.OutputStream; |
| |
| /** |
| * @author Tom Tromey |
| * @date May 17, 1999 |
| */ |
| |
| /* Written using on-line Java Platform 1.2 API Specification |
| * and JCL book. |
| * Believed complete and correct. |
| */ |
| |
| public class GZIPOutputStream extends DeflaterOutputStream |
| { |
| public void close () throws IOException |
| { |
| finish (); |
| out.close (); |
| } |
| |
| public void finish () throws IOException |
| { |
| super.finish(); |
| put4 ((int) crc.getValue()); |
| put4 (def.getTotalIn()); |
| } |
| |
| public GZIPOutputStream (OutputStream out) throws IOException |
| { |
| this (out, 512); |
| } |
| |
| public GZIPOutputStream (OutputStream out, int readsize) throws IOException |
| { |
| super (out, new Deflater (Deflater.DEFAULT_COMPRESSION, true), readsize); |
| |
| put2 (GZIPInputStream.GZIP_MAGIC); |
| out.write (GZIPInputStream.Z_DEFLATED); |
| // No flags for now. |
| out.write (0); |
| // No time either. |
| put2 (0); |
| put2 (0); |
| // No xflags either. |
| out.write (0); |
| // FIXME: unknown OS. |
| out.write (255); |
| |
| crc = new CRC32 (); |
| } |
| |
| public synchronized void write (byte[] buf) throws IOException |
| { |
| write (buf, 0, buf.length); |
| } |
| |
| public synchronized void write (byte[] buf, int off, int len) |
| throws IOException |
| { |
| super.write(buf, off, len); |
| crc.update(buf, off, len); |
| } |
| |
| private final void put2 (int i) throws IOException |
| { |
| out.write (i); |
| out.write (i >> 8); |
| } |
| |
| private final void put4 (int i) throws IOException |
| { |
| out.write (i); |
| out.write (i >> 8); |
| out.write (i >> 16); |
| out.write (i >> 24); |
| } |
| |
| // Checksum used by this stream. |
| protected CRC32 crc; |
| } |