Справочник Ada 2005
A.18.10 Пакет Containers.Indefinite_Vectors
Определяемый языком обобщённый пакет Containers.Indefinite_Vectors предоставляет частный тип Vector и набор операций. Он предоставляет те же операции, что и пакет Containers.Vectors (см. A.18.2), с той разницей, что обобщённый формальный параметр Element_Type является неопределённым.
Статическая семантика
Декларация обобщённого библиотечного пакета Containers.Indefinite_Vectors имеет то же содержимое, что и Containers.Vectors, за исключением:
- Обобщённый формальный параметр Element_Type является неопределённым.
- Процедуры с профилями:
procedure Insert (Container : in out Vector;
Before : in Extended_Index;
Count : in Count_Type := 1);
Before : in Extended_Index;
Count : in Count_Type := 1);
procedure Insert (Container : in out Vector;
Before : in Cursor;
Position : out Cursor;
Count : in Count_Type := 1);
Before : in Cursor;
Position : out Cursor;
Count : in Count_Type := 1);
- исключены.
- Фактический параметр Element в подпрограмме доступа Process типа Update_Element может быть ограничен, даже если Element_Type не ограничен.
