- (1)
- The Max_Size_In_Storage_Elements attribute is useful in writing
user-defined pool types.
Static Semantics
- (2)
- For every subtype S, the following attribute is defined:
- (3)
- S'Max_Size_In_Storage_Elements
Denotes the maximum value for Size_In_Storage_Elements that
will be requested via Allocate for an access type whose
designated subtype is S. The value of this attribute is of
type universal_integer.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12
| 
| 
| 
| 