{
AI95-00256-01}
{
AI95-00416-01}
{
AI05-0193-1}
Denotes the maximum value for Size_In_Storage_Elements that could be
requested by the implementation via Allocate for an access type whose
designated subtype is S. The value of this attribute is of type
universal_integer.
{
AI05-0193-1}
Denotes the maximum value for Alignment that could be requested by the
implementation via Allocate for an access type whose designated subtype
is S. The value of this attribute is of type
universal_integer.
{
AI05-0193-1}
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 these attributes account for any calls
on Allocate that could be performed to provide space for such coextensions.
Reason: {
AI05-0193-1}
The values of these attributes should reflect only the calls that might
be made to the pool specified for an access type with designated type
S. Thus, if the coextensions would normally be allocated from a different
pool than the one used for the main object (that is, the Implementation
Advice of
13.11 for determining the pool
of an anonymous access discriminant is not followed), then these attributes
should not reflect any calls on Allocate used to allocate the coextensions.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe