J.9 Атрибут Storage_Size

Обозначает определяемое реализацией значение типа universal_integer, представляющее количество элементов памяти, зарезервированных для задачи подтипа T.

Атрибут Storage_Size может быть указан для первого подтипа задачи, который не является интерфейсом, через определение_атрибута. Когда атрибут указан, аспект Storage_Size задаётся значением данного выражения.