Unzip-Ada, "beta 2"

Unzip-Ada, "beta 2"

[Gautier]

Another upgrade...

To be short, you can now unzip single files from Zip
archives or extract a whole archive, with a direct
procedure call.

More infos: --> http://members.xoom.com/gdemont/unzipada.htm

-- 
Gautier

PS: Copy of unzip.ads:

--  ___  ____  ____  ____  ________  ___   ______       ______     ___
--  |.|  |../  |...\ |../ /___..._/  |.|   |.___.\     /. __ .\  __|.|   ____
--  |.|  |.|   |.|\.\|.|     /../    |.|   |.____/     |.|__|.| /....|  __\..\
--  |.|__|.|   |.| \...|   _/../___  |.|   |.|    ===  |..__..||. = .| |
= ..|
--  |______|  /__|  \__|  /_______/  |_|  /__|        /__|  |_| \__\_|  \__\_|

-- UnZip-Ada
------------
-- Unzips deflated, imploded, reduced, shrunk and stored files

--  Ada translation & cleanup by Gautier de Montmollin
--    http://members.xoom.com/gdemont/unzipada.htm

--  based on Pascal version 2.10 by Dr Abimbola A Olowofoyeku,
--    http://ourworld.compuserve.com/homepages/African_Chief,

--  itself based on Pascal version by Christian Ghisler,
--  itself based on C code by Info-Zip group (Mark Adler et al.)

-- Documentation: read appnote.txt

-- Legal notice: no copyright, no warranty.

package Unzip is

  ----------------------------------
  -- Simple extraction procedures --
  ----------------------------------

  procedure Extract( from, what : String );         -- a precise file
  procedure Extract( from, what, rename : String ); -- id., under a new name
  procedure Extract_all_files( from : String );     -- all files

  ----------------------------------------------
  -- Extraction procedures for user interface --
  ----------------------------------------------

 type feedback_proc is access
   procedure ( percents_done: in float; user_abort: out boolean );

  type pkzip_method is

   ( store,    -- ok
     shrink,   -- ok (tested with small files)
     reduce_1, reduce_2, reduce_3, reduce_4, -- untested (must be rare)
     implode,  -- ok
     tokenize, -- not yet implemented by PKWARE
     deflate,  -- ok
     unknown );

  procedure Extract(from, what : String;
                    method     : out pkzip_method;
                    feedback   : feedback_proc );

end Unzip;