Справочник Ada 2005
13.11.1 Атрибут Max_Size_In_Storage_Elements
Атрибут Max_Size_In_Storage_Elements полезен при написании типов пула, определенных пользователем.
Статическая семантика
Для каждого подтипа S определен следующий атрибут:
S'Max_Size_In_Storage_Elements
Обозначает максимальное значение для Size_In_Storage_Elements, которое может быть запрошено реализацией посредством Allocate для типа доступа, назначенный подтип которого — S. Для типа с дискриминантами доступа, если реализация выделяет память для корасширения в том же пуле, что и объект, имеющий дискриминант доступа, то это учитывает любые вызовы Allocate, которые могут быть выполнены для выделения памяти для таких корасширений. Значение этого атрибута имеет тип universal_integer.