package Zip_Streams is
type Root_Zipstream_Type is abstract new Ada.Streams.Root_Stream_Type with null record;
type Unbounded_Stream is new Root_Zipstream_Type with private;
type ZipFile_Stream is new Root_Zipstream_Type with private;
type Zipstream_Class is access all Root_Zipstream_Type'Class;
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 SetName
( | S | : access Root_Zipstream_Type; |
Name | : String) is abstract; |
function GetName
( | S | : access Root_Zipstream_Type) return String is abstract; |
procedure SetTime
( | S | : access Root_Zipstream_Type; |
ModificationTime | : Time) is abstract; |
procedure SetTime
( | S | : Zipstream_Class; |
ModificationTime | : Ada.Calendar.Time); |
function GetTime
( | S | : access Root_Zipstream_Type) return Time is abstract; |
function GetTime
( | S | : Zipstream_Class) return Ada.Calendar.Time; |
function End_Of_Stream
( | S | : access Root_Zipstream_Type) return Boolean is abstract; |
procedure Get
( | Str | : Unbounded_Stream; |
Unb | : out Unbounded_String); |
procedure Set
( | Str | : in out Unbounded_Stream; |
Unb | : Unbounded_String); |
procedure Open
( | Str | : in out ZipFile_Stream; |
Mode | : File_Mode); |
procedure Create
( | Str | : in out ZipFile_Stream; |
Mode | : File_Mode); |