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