Spec-Zone.ru › Ada 2005
Справочник по 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);
    исключается.
  • Фактический параметр Element подпрограммы доступа Process типа Update_Element может быть ограниченным, даже если Element_Type не ограничен.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API