Справочник Ada 2012
A.18.1 Пакет контейнеров
Пакет Containers является корневым пакетом подсистемы контейнеров.
Статическая семантика
В библиотечном пакете Containers содержится следующее объявление:
package Ada.Containers is
pragma Pure(Containers);
pragma Pure(Containers);
type Hash_Type is mod implementation-defined;
type Count_Type is range 0 .. implementation-defined;
Capacity_Error : exception;
end Ada.Containers;
Hash_Type представляет диапазон результата хеш-функции. Count_Type представляет (потенциальное или фактическое) количество элементов контейнера.
Capacity_Error генерируется, когда емкость контейнера превышена.
Рекомендации по реализации
Hash_Type'Modulus должен быть не менее 2**32. Count_Type'Last должен быть не менее 2**31–1.
