Руководство по Ada (Ada 2022)
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, которые могут быть выполнены для выделения памяти для таких сорасширений.
