Aug 31st, 2011
This non-static attribute returns the size in bits of the descriptor allocated for a type. For GNAT, the result is non-zero only for unconstrained array types. The descriptor is allocated just before the first element of the array, and contains the bounds information for the allocated array. The return value is of type universal integer.