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) { }