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