Справочник Ada 2012
A.18.12 Универсальный пакет Containers.Indefinite_Doubly_Linked_Lists
Определяемый языком универсальный пакет Containers.Indefinite_Doubly_Linked_Lists предоставляет частные типы List и Cursor, а также набор операций для каждого типа. Он предоставляет те же операции, что и пакет Containers.Doubly_Linked_Lists (см. A.18.3), с той лишь разницей, что универсальный формальный параметр Element_Type является неопределённым.
Статическая семантика
Декларация универсального библиотечного пакета Containers.Indefinite_Doubly_Linked_Lists имеет то же содержимое и семантику, что и Containers.Doubly_Linked_Lists, за исключением:
- Универсальный формальный параметр Element_Type является неопределённым.
- Процедура с профилем:
procedure Insert (Container : in out List;
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 не ограничен.
- Операции Append, Insert, Prepend и Replace_Element, имеющие формальный параметр типа Element_Type, выполняют неопределённую вставку (см. A.18).
