Ada Reference Manual (Ada 2022) — Legal Information

# J.9 The Storage_Size Attribute

#### Static Semantics

1
For any task subtype T, the following attribute is defined:
2
T'Storage_Size
Denotes an implementation-defined value of type universal_integer representing the number of storage elements reserved for a task of the subtype T.
3/3
Storage_Size may be specified for a task first subtype that is not an interface via an attribute_definition_clause. When the attribute is specified, the Storage_Size aspect is specified to be the value of the given expression.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe