Index

Package: Packfiles

Description

package Streams.Packfiles is

Classes

Packfile_Stream

type Packfile_Stream is new Root_Stream_Type with private;

Ancestors:

Root_Stream_Type

Primitive operations:

Read
Read (Inherited)
Write (Inherited)
Write

Types

A_Packfile_Stream

type A_Packfile_Stream is access all Packfile_Stream'Class;

Subprograms & Entries

Open_Stream

function Open_Stream
( filename, mode: String ) return A_Packfile_Stream;
Opens a packfile on disk for streaming operations.

Stream

function Stream
( f: not null A_Packfile ) return A_Packfile_Stream;
Creates a stream using an open packfile.

Close

procedure Close
( stream: in out A_Packfile_Stream );
Closes the stream and its internal packfile if it opened one.

EOF

function EOF
( stream: access Packfile_Stream ) return Boolean;
Returns True of the stream has reached end-of-file.

Error

function Error
( stream: access Packfile_Stream ) return Boolean;
Returns True if the stream encountered an error.