Source file : zip-compress-reduce.ads
-- Just for fun, playing with the old Zip "Reduce" format...
--
-- "Reduce" combines the LZ77 method with a probabilistic
-- predictor using a Markov chain.
--
-- The format has a single block, then a single matrix,
-- for the whole data to be compressed :-(.
--
-- NB: this compressor works in two passes, the first pass
-- serving to compute the exact optimal Markov matrix for the whole
-- data to be compressed. Hence, it is slow. However,
-- we cache the last n=LZ_cache_size bytes compressed by LZ77.
-- The resulting compression is optimal within the constraints of the
-- "Reduce" format (one block, poor encoding of compressed data and of the
-- compression structure itself (the Markov matrix)).
--
-- Author: G. de Montmollin, January 2009
--
with Zip.CRC_Crypto; use Zip.CRC_Crypto;
private procedure Zip.Compress.Reduce(
input,
output : in out Zip_Streams.Root_Zipstream_Type'Class;
input_size_known: Boolean;
input_size : File_size_type; -- ignored if unknown
feedback : Feedback_proc;
method : Reduction_Method;
CRC : in out Interfaces.Unsigned_32; -- only updated here
crypto : in out Crypto_pack;
output_size : out File_size_type;
compression_ok : out Boolean -- indicates when compressed <= uncompressed
);
Zip-Ada: Ada library for zip archive files (.zip).
Ada programming.
Some news about Zip-Ada and other related Ada projects
on Gautier's blog.