public Inflater(bool doGZip) {
this.using_gzip = doGZip;
this.output = new OutputWindow();
this.input = new InputBuffer();
this.gZipDecoder = new GZipDecoder(this.input);
this.codeList = new byte[320];
this.codeLengthTreeCodeLength = new byte[0x13];
this.Reset();
}
public Inflater(bool doGZip)
{
this.using_gzip = doGZip;
this.output = new OutputWindow();
this.input = new InputBuffer();
this.gZipDecoder = new GZipDecoder(this.input);
this.codeList = new byte[320];
this.codeLengthTreeCodeLength = new byte[0x13];
this.Reset();
}
GZipDecoder gZipDecoder; // class to decode gzip header and footer
public Inflater(bool doGZip)
{
using_gzip = doGZip;
output = new OutputWindow();
input = new InputBuffer();
gZipDecoder = new GZipDecoder(input);
codeList = new byte[HuffmanTree.MaxLiteralTreeElements + HuffmanTree.MaxDistTreeElements];
codeLengthTreeCodeLength = new byte[HuffmanTree.NumberOfCodeLengthTreeElements];
Reset();
}
private void SetDeflateStreamFileFormatter(CompressionMode mode) {
if (mode == CompressionMode.Compress) {
IFileFormatWriter writeCommand = new GZipFormatter();
deflateStream.SetFileFormatWriter(writeCommand);
} else {
IFileFormatReader readCommand = new GZipDecoder();
deflateStream.SetFileFormatReader(readCommand);
}
}
private void SetDeflateStreamFileFormatter(CompressionMode mode)
{
if (mode == CompressionMode.Compress)
{
IFileFormatWriter writeCommand = new GZipFormatter();
_deflateStream.SetFileFormatWriter(writeCommand);
}
else
{
IFileFormatReader readCommand = new GZipDecoder();
_deflateStream.SetFileFormatReader(readCommand);
}
}
public GZipStream(Stream stream, CompressionMode mode, bool leaveOpen)
{
this.deflateStream = new DeflateStream(stream, mode, leaveOpen);
if (mode == CompressionMode.Compress)
{
IFileFormatWriter writer = new GZipFormatter();
this.deflateStream.SetFileFormatWriter(writer);
}
else
{
IFileFormatReader reader = new GZipDecoder();
this.deflateStream.SetFileFormatReader(reader);
}
}
public GZipStream(Stream stream, CompressionMode mode, bool leaveOpen)
{
this.deflateStream = new DeflateStream(stream, mode, leaveOpen);
if (mode == CompressionMode.Compress)
{
IFileFormatWriter writer = new GZipFormatter();
this.deflateStream.SetFileFormatWriter(writer);
}
else
{
IFileFormatReader reader = new GZipDecoder();
this.deflateStream.SetFileFormatReader(reader);
}
}
GZipDecoder gZipDecoder; // class to decode gzip header and footer
public Inflater(bool doGZip) {
using_gzip = doGZip;
output = new OutputWindow();
input = new InputBuffer();
gZipDecoder = new GZipDecoder(input);
codeList = new byte[HuffmanTree.MaxLiteralTreeElements + HuffmanTree.MaxDistTreeElements];
codeLengthTreeCodeLength = new byte[HuffmanTree.NumberOfCodeLengthTreeElements];
Reset();
}
