VSS.Stream_Element_Vectors

Entities

Simple Types

Tagged Types

Subprograms

Generic Instantiations

Description

Copyright (C) 2020-2022, AdaCore

SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

"="

function "="
  (Left  : Stream_Element_Vector;
   Right : Stream_Element_Vector) return Boolean
Parameters
Left
Right
Return Value

Append

procedure Append
  (Self : in out Stream_Element_Vector'Class;
   Item : Ada.Streams.Stream_Element)

Append stream element to the end of the buffer

Parameters
Self
Item

Append

procedure Append
  (Self : in out Stream_Element_Vector'Class;
   Item : Stream_Element_Vector'Class)

Append stream element vector to the end of the buffer

Parameters
Self
Item

Cursor

type Cursor is private;

Element

function Element
  (Self  : Stream_Element_Vector'Class;
   Index : Ada.Streams.Stream_Element_Count)
   return Ada.Streams.Stream_Element

Return element at given index (starting from 1).

Parameters
Self
Index
Return Value

Element

function Element
  (Self     : Stream_Element_Vector'Class;
   Position : Cursor)
   return Ada.Streams.Stream_Element
Parameters
Self
Position
Return Value

First

function First (Self : Reversible_Iterator) return Cursor
Parameters
Self
Return Value

Has_Element

function Has_Element (Self : Cursor) return Boolean
Parameters
Self
Return Value

Is_Empty

function Is_Empty (Self : Stream_Element_Vector'Class) return Boolean

Return True when stream element vector doesn't contain any elements.

Parameters
Self
Return Value

Iterate

function Iterate
  (Self : Stream_Element_Vector'Class) return Reversible_Iterator
Parameters
Self
Return Value

Iterator_Interfaces

package Iterator_Interfaces is new Ada.Iterator_Interfaces
  (Cursor, Has_Element);

Last

function Last (Self : Reversible_Iterator) return Cursor
Parameters
Self
Return Value

Length

function Length
  (Self : Stream_Element_Vector'Class)
   return Ada.Streams.Stream_Element_Count

Return size of accumulated data.

Parameters
Self
Return Value

Next

function Next
  (Self     : Reversible_Iterator;
   Position : Cursor) return Cursor
Parameters
Self
Position
Return Value

Previous

function Previous
  (Self     : Reversible_Iterator;
   Position : Cursor) return Cursor
Parameters
Self
Position
Return Value

Reversible_Iterator

type Reversible_Iterator is
  limited new Iterator_Interfaces.Reversible_Iterator with private;

Set_Capacity

procedure Set_Capacity
  (Self     : in out Stream_Element_Vector'Class;
   Capacity : Ada.Streams.Stream_Element_Count)

Request to pre-allocate memory to store given number of stream elements.

Parameters
Self
Capacity

Stream_Element_Vector

type Stream_Element_Vector is tagged private
  with
    Constant_Indexing => Element,
    Default_Iterator  => Iterate,
    Iterator_Element  => Ada.Streams.Stream_Element;