package Zip.Headers is
type Data_descriptor is record -- PK78 -- 1.. 4 crc_32 : Unsigned_32; -- 5.. 8 compressed_size, uncompressed_size : Unsigned_32; end record;
type Local_File_Header is record -- PK34 -- 1.. 4 needed_extract_version : Unsigned_16; -- 5.. 6 bit_flag, zip_type : Unsigned_16; file_timedate : Time; dd : Data_descriptor; filename_length, extra_field_length : Unsigned_16; end record;
type Central_File_Header is record -- PK12 -- 1.. 4 made_by_version : Unsigned_16; -- 5.. 6 short_info : Local_File_Header; -- 7..32 comment_length : Unsigned_16; -- 33..34 disk_number_start : Unsigned_16; internal_attributes : Unsigned_16; -- internal properties of data external_attributes : Unsigned_32; -- 1st byte if MS-DOS: see below local_header_offset : Unsigned_32; end record;
type End_of_Central_Dir is record -- PK56 -- 1.. 4 disknum : Unsigned_16; -- 5.. 6 disknum_with_start : Unsigned_16; disk_total_entries : Unsigned_16; total_entries : Unsigned_16; central_dir_size : Unsigned_32; central_dir_offset : Unsigned_32; main_comment_length: Unsigned_16; end record;
procedure Copy_and_check
( | buffer | : in Byte_Buffer; |
the_data_desc | : out Data_descriptor ); |
procedure Read_and_check
( | stream | : in Zipstream_Class; |
the_data_desc | : out Data_descriptor ); |
procedure Write
( | stream | : in Zipstream_Class; |
the_data_desc | : in Data_descriptor ); |
procedure Read_and_check
( | stream | : in Zipstream_Class; |
header | : out Local_File_Header ); |
procedure Write
( | stream | : in Zipstream_Class; |
header | : in Local_File_Header ); |
procedure Read_and_check
( | stream | : in Zipstream_Class; |
header | : out Central_File_Header ); |
procedure Write
( | stream | : in Zipstream_Class; |
header | : in Central_File_Header ); |
procedure Copy_and_check
( | buffer | : in Byte_Buffer; |
the_end | : out End_of_Central_Dir ); |
procedure Read_and_check
( | stream | : in Zipstream_Class; |
the_end | : out End_of_Central_Dir ); |
procedure Load
( | stream | : in Zipstream_Class; |
the_end | : out End_of_Central_Dir ); |
procedure Write
( | stream | : in Zipstream_Class; |
the_end | : in End_of_Central_Dir ); |