J.9 Атрибут Storage_Size

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

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