Contents Index Previous Next
13.11.1 The Max_Size_In_Storage_Elements Attribute
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.
3.a
Ramification: If S is an
unconstrained array subtype, or an unconstrained subtype with discriminants,
S'Max_Size_In_Storage_Elements might be very large.
Contents Index Previous Next Legal