Ada 95 Reference Manual
J.9 The Storage_Size Attribute
Static Semantics
For any task subtype T, the following attribute is defined:
- 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.
- Storage_Size may be specified for a task first subtype via an attribute_definition_clause.
