The expression
of a pragma
Storage_Size is expected to be of any integer type.
Static Semantics
5/3
The pragma
Storage_Size sets the Storage_Size aspect (see 13.3)
of the type defined by the immediately enclosing task_definition
to the value of the expression
of the pragma.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe