package Zip_Streams is
type Root_Zipstream_Type is abstract new Ada.Streams.Root_Stream_Type with private;
type Memory_Zipstream is new Root_Zipstream_Type with private;
type File_Zipstream is new Root_Zipstream_Type with private;
type Time is private;
type Zipstream_Class is access all Root_Zipstream_Type'Class;
subtype Unbounded_Stream is Memory_Zipstream;
subtype ZipFile_Stream is File_Zipstream;
procedure Set_Index
( | S | : access Root_Zipstream_Type; |
To | : Positive) is abstract; |
function Index
( | S | : access Root_Zipstream_Type) return Integer is abstract; |
function Size
( | S | : access Root_Zipstream_Type) return Integer is abstract; |
procedure Set_Name
( | S | : access Root_Zipstream_Type; |
Stream_Name | : String); |
procedure SetName
( | S | : access Root_Zipstream_Type; |
Stream_Name | : String) renames Set_Name; |
function Get_Name
( | S | : access Root_Zipstream_Type) return String; |
function GetName
( | S | : access Root_Zipstream_Type) return String renames Get_Name; |
procedure Set_Unicode_Name_Flag
( | S | : access Root_Zipstream_Type; |
Value | : Boolean); |
function Is_Unicode_Name
( | S | : access Root_Zipstream_Type) return Boolean; |
procedure Set_Time
( | S | : access Root_Zipstream_Type; |
Modification_Time | : Time); |
procedure SetTime
( | S | : access Root_Zipstream_Type; |
Modification_Time | : Time) renames Set_Time; |
procedure Set_Time
( | S | : Zipstream_Class; |
Modification_Time | : Ada.Calendar.Time); |
procedure SetTime
( | S | : Zipstream_Class; |
Modification_Time | : Ada.Calendar.Time) renames Set_Time; |
function Get_Time
( | S | : access Root_Zipstream_Type) return Time; |
function GetTime
( | S | : access Root_Zipstream_Type) return Time renames Get_Time; |
function Get_Time
( | S | : Zipstream_Class) return Ada.Calendar.Time; |
function GetTime
( | S | : Zipstream_Class) return Ada.Calendar.Time renames Get_Time; |
function End_Of_Stream
( | S | : access Root_Zipstream_Type) return Boolean is abstract; |
procedure Get
( | Str | : Memory_Zipstream; |
Unb | : out Unbounded_String); |
procedure Set
( | Str | : in out Memory_Zipstream; |
Unb | : Unbounded_String); |
procedure Open
( | Str | : in out File_Zipstream; |
Zipfile_Mode | : File_Mode); |
procedure Create
( | Str | : in out File_Zipstream; |
Zipfile_Mode | : File_Mode); |
procedure Close
( | Str | : in out File_Zipstream); |
overriding procedure Read
( | Zip_Stream | : in out Memory_Zipstream; |
Item | : out Stream_Element_Array; | |
Last | : out Stream_Element_Offset); |
overriding procedure Write
( | Zip_Stream | : in out Memory_Zipstream; |
Item | : Stream_Element_Array); |
overriding procedure Set_Index
( | S | : access Memory_Zipstream; |
To | : Positive); |
overriding function Index
( | S | : access Memory_Zipstream) return Integer; |
overriding function Size
( | S | : access Memory_Zipstream) return Integer; |
overriding function End_Of_Stream
( | S | : access Memory_Zipstream) return Boolean; |
overriding procedure Read
( | Zip_Stream | : in out File_Zipstream; |
Item | : out Stream_Element_Array; | |
Last | : out Stream_Element_Offset); |
overriding procedure Write
( | Zip_Stream | : in out File_Zipstream; |
Item | : Stream_Element_Array); |
overriding procedure Set_Index
( | S | : access File_Zipstream; |
To | : Positive); |
overriding function Index
( | S | : access File_Zipstream) return Integer; |
overriding function Size
( | S | : access File_Zipstream) return Integer; |
overriding function End_Of_Stream
( | S | : access File_Zipstream) return Boolean; |