public GzipSource(Source source)
{
if (source == null)
{
throw new ArgumentException("source == null");
}
this.inflater = new Inflater(true);
this.source = EasyIO.Buffer(source);
this.inflaterSource = new InflaterSource(this.source, inflater);
}
public GzipSink(Sink sink)
{
if (sink == null)
{
throw new ArgumentException("sink == null");
}
this.deflater = new Deflater(Deflater.DEFAULT_COMPRESSION, true /* No wrap */);
this.sink = EasyIO.Buffer(sink);
this.deflaterSink = new DeflaterSink(this.sink, deflater);
WriteHeader();
}
public DeflaterSink(Sink sink, Deflater deflater) : this(EasyIO.Buffer(sink), deflater)
{
}
public InflaterSource(Source source, Inflater inflater) : this(EasyIO.Buffer(source), inflater)
{
}
