-- The "Deflate" method combines the LZ77 compression method with some Hufman
-- encoding gymnastics.
--
-- Author: G. de Montmollin, February 2011
--
private procedure Zip.Compress.Deflate(
input,
output : Zip_Streams.Zipstream_Class;
input_size_known: Boolean;
input_size : File_size_type; -- ignored if unknown
feedback : Feedback_proc;
method : Deflation_Method;
CRC : in out Interfaces.Unsigned_32; -- only updated here
output_size : out File_size_type;
compression_ok : out Boolean -- indicates when compressed <= uncompressed
);