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)
Storage_Size may be specified for a task first subtype
via an attribute_definition_clause.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12