type Packfile_Stream is new Root_Stream_Type with private;
type A_Packfile_Stream is access all Packfile_Stream'Class;
function Open_Stream
( | filename, mode | : String ) return A_Packfile_Stream; |
function Stream
( | f | : not null A_Packfile ) return A_Packfile_Stream; |
function EOF
( | stream | : not null access Packfile_Stream'Class ) return Boolean; |
function Error
( | stream | : not null access Packfile_Stream'Class ) return Boolean; |
procedure Close
( | stream | : in out A_Packfile_Stream ); |