Справочник по Ada 2005
J.9 Атрибут Storage_Size
Статическая семантика
Для любого типа задачи T, определен следующий атрибут:
T'Storage_Size
Обозначает значение, определяемое реализацией, типа universal_integer, представляющее количество элементов памяти, зарезервированных для задачи типа T.
Storage_Size может быть указан для первого подтипа задачи, который не является интерфейсом, с помощью описания_атрибута.