API Reference

function Stream

   function Stream(  
      Size : in Stream_Element_Offset ) return Stream_Access; 
 

   Buffer_Overrun  : exception; 
   Buffer_Underrun : exception; 

Description

Create a memory stream

Preconditions

Postconditions:

Exceptions

Notes:

procedure Destroy

   procedure Destroy(  
      This : in out Stream_Access ); 
 

Description

Destroy the memory stream

Preconditions

C.1 - The stream has to be valid

Postconditions

Exceptions:

procedure Clear

   procedure Clear(   
      This : in Stream_Access ); 
 

Description

Clear the memory stream.

Preconditions

C.1 - Stream has to be valid

Postconditions

P.1 - Read and write pointer are reseted.

Exceptions

Notes:

function Write_Offset

   function Write_Offset(   
      This : in Stream_Access ) return Natural; 
 

Description

Preconditions:

Postconditions

Exceptions:

procedure Read_Offset

   procedure Read_Offset(   
      This   : in Stream_Access; 
      Offset : in Natural ) ; 
 

Description

Preconditions:

Postconditions

Exceptions:

procedure Copy_In

   procedure Copy_In(   
      This   : in Stream_Access; 
      Source : in Stream_Element_Array ); 
 

Description

Preconditions:

Postconditions

Exceptions:

procedure Copy_Out, function Size

   procedure Copy_Out(  
      This   : in Stream_Access; 
      Target : in out Stream_Element_Array; 
      Last   : out Stream_Element_Offset ); 
 
 
   function Size( 
      This   : in Stream_Access ) return Natural; 
 
 

Description

Preconditions:

Postconditions

Exceptions: