package Zip.Compress is
procedure Compress_data
( | input, output | : Zip_Streams.Zipstream_Class; |
input_size_known | : Boolean; | |
input_size | : File_size_type; | |
-- ignored if unknown method | : Compression_Method; | |
feedback | : Feedback_proc; | |
CRC | : out Interfaces.Unsigned_32; | |
output_size | : out File_size_type; | |
zip_type | : out Interfaces.Unsigned_16 -- ^ code corresponding to the compression method actually used ); |