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