Справочник по Ada 2005
A.18.11 Пакет 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 не ограничен.