AARM95 - The Max_Size_In_Storage_Elements Attribute
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

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