Справочник по Ada 2012
A.18.15 Обобщенный пакет Containers.Indefinite_Hashed_Sets
Определяемый языком обобщенный пакет Containers.Indefinite_Hashed_Sets предоставляет множество с теми же операциями, что и пакет Containers.Hashed_Sets (см. A.18.8), с той разницей, что обобщенный формальный тип Element_Type является неопределенным.
Статическая семантика
Декларация обобщенного библиотечного пакета Containers.Indefinite_Hashed_Sets имеет то же содержимое и семантику, что и Containers.Hashed_Sets, за исключением:
- Обобщенный формальный тип Element_Type является неопределенным.
- Фактический параметр Element подпрограммы доступа Process в Update_Element_Preserving_Key может быть ограниченным, даже если Element_Type неограничен.
- Операции Include, Insert, Replace, Replace_Element и To_Set, имеющие формальный параметр типа Element_Type, выполняют неопределенное вставление (см. A.18).
