Ada 95 Reference Manual
13.11.1 The Max_Size_In_Storage_Elements Attribute
The Max_Size_In_Storage_Elements attribute is useful in writing user-defined pool types.
Static Semantics
For every subtype S, the following attribute is defined:
- 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.
