Contents   Index   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
   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   Search   Previous   Next   Legal