[Home] [Prev] [Next] [Index]
J.9 The Storage_Size Attribute
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.
- 2.a
- To be honest: T'Storage_Size cannot be particularly meaningful in the presence of a pragma Storage_Size, especially when the expression is dynamic, or depends on a discriminant of the task, because the Storage_Size will be different for different objects of the type. Even without such a pragma, the Storage_Size can be different for different objects of the type, and in any case, the value is implementation defined. Hence, it is always implementation defined.
- 3
- Storage_Size may be specified for a task first subtype via an attribute_definition_clause.
[Home] [Prev] [Next] [Index]
documentation@rational.com
Copyright © 1993-1998, Rational Software Corporation. All rights
reserved.