Справочник Ada 2012
A.18.14 Универсальный пакет Containers.Indefinite_Ordered_Maps
Определяемый языком универсальный пакет Containers.Indefinite_Ordered_Maps предоставляет карту с теми же операциями, что и пакет Containers.Ordered_Maps (см. A.18.6), с той разницей, что универсальные формальные типы Key_Type и Element_Type неопределены.
Статическая семантика
Объявление универсального библиотечного пакета Containers.Indefinite_Ordered_Maps содержит те же элементы и семантику, что и Containers.Ordered_Maps, за исключением:
- Универсальный формальный тип Key_Type неопределен.
- Универсальный формальный тип Element_Type неопределен.
- Процедура с профилем:
procedure Insert (Container : in out Map;
Key : in Key_Type;
Position : out Cursor;
Inserted : out Boolean);
Key : in Key_Type;
Position : out Cursor;
Inserted : out Boolean);
исключена.
- Фактический параметр Element подпрограммы доступа Process в Update_Element может быть ограниченным, даже если Element_Type неограничен.
- Операции Include, Insert, Replace и Replace_Element, имеющие формальный параметр типа Element_Type, выполняют неопределённую вставку (см. A.18).
