1. -- The "Deflate" method combines the LZ77 compression method with some Hufman 
  2. -- encoding gymnastics. 
  3. -- 
  4. -- Author: G. de Montmollin, February 2011 
  5. -- 
  6.  
  7. private procedure Zip.Compress.Deflate( 
  8.   input, 
  9.   output          : Zip_Streams.Zipstream_Class; 
  10.   input_size_known: Boolean; 
  11.   input_size      : File_size_type; -- ignored if unknown 
  12.   feedback        : Feedback_proc; 
  13.   method          : Deflation_Method; 
  14.   CRC             : in out Interfaces.Unsigned_32; -- only updated here 
  15.   output_size     : out File_size_type; 
  16.   compression_ok  : out Boolean -- indicates when compressed <= uncompressed 
  17. );