Index

Package: Array_Streams

Description

package Zip_Streams.Array_Streams is

Classes

Array_Stream

type Array_Stream is new Root_Zipstream_Type with private;

Ancestors:

Root_Stream_Type

Primitive operations:

End_Of_Stream (overriding Zip_Streams.End_Of_Stream)
GetName (overriding Zip_Streams.GetName)
GetTime (overriding Zip_Streams.GetTime)
Index (overriding Zip_Streams.Index)
Read (overriding Read)
Set_Index (overriding Zip_Streams.Set_Index)
SetName (overriding Zip_Streams.SetName)
SetTime (overriding Zip_Streams.SetTime)
Size (overriding Zip_Streams.Size)
Write (overriding Write)
------------------------------------------------------------------- Array_Stream: stream based on an in-memory Stream_Element_Array -- -------------------------------------------------------------------

Types

A_SEA

type A_SEA is access all Stream_Element_Array;

A_Array_Stream

type A_Array_Stream is access all Array_Stream'Class;

Constants & Global variables

Out_Of_Bounds

Out_Of_Bounds,
    Null_Stream,
    Stream_Overflow : exception;

Null_Stream

Null_Stream,
    Stream_Overflow : exception;

Stream_Overflow

Stream_Overflow : exception;

Subprograms & Entries

Delete

procedure Delete is new Ada.Unchecked_Deallocation
( Stream_Element_Array, A_SEA );

Set

procedure Set
( Str: in out Array_Stream;
Buf: in out A_SEA );
Set a value in the stream, the index will be set to null and old data in the stream will be lost.

Close

procedure Close
( Str: in out Array_Stream );
Close the Array_Stream and delete its backing buffer

Delete

procedure Delete
( Str: in out A_Array_Stream );