package UnZip.Streams is
procedure Open
( | File | : in out Zipped_File_Type; |
-- File-in-archive handle Archive_Name | : in String; | |
-- Name of archive file Name | : in String; | |
-- Name of zipped entry Password | : in String := ""; | |
-- Decryption password Case_sensitive | : in Boolean:= False ); |
procedure Open
( | File | : in out Zipped_File_Type; |
-- File-in-archive handle Archive_Stream | : in Zip_Streams.Zipstream_Class; | |
-- Archive's stream Name | : in String; | |
-- Name of zipped entry Password | : in String := ""; | |
-- Decryption password Case_sensitive | : in Boolean:= False ); |
procedure Open
( | File | : in out Zipped_File_Type; |
-- File-in-archive handle Archive_Info | : in Zip.Zip_info; | |
-- Archive's Zip_info Name | : in String; | |
-- Name of zipped entry Password | : in String := ""; | |
-- Decryption password Case_sensitive | : in Boolean:= False ); |
procedure Close
( | File | : in out Zipped_File_Type); |
function Is_Open
( | File | : in Zipped_File_Type) return Boolean; |
function End_Of_File
( | File | : in Zipped_File_Type) return Boolean; |
function Stream
( | File | : Zipped_File_Type) return Stream_Access; |