Annotated Ada Reference Manual — Legal Information
Table of Contents   Index   References   Search   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/2
S'Max_Size_In_Storage_Elements

{AI95-00256-01} {AI95-00416-01} Denotes the maximum value for Size_In_Storage_Elements that could will be requested by the implementation via Allocate for an access type whose designated subtype is S. For a type with access discriminants, if the implementation allocates space for a coextension in the same pool as that of the object having the access discriminant, then this accounts for any calls on Allocate that could be performed to provide space for such coextensions. 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. 

Wording Changes from Ada 95

3.b/2
{AI95-00256-01} Corrected the wording so that a fortune-telling compiler that can see the future execution of the program is not required.
Table of Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe