Next: Universal_Literal_String, Previous: UET_Address, Up: Implementation Defined Attributes
The Unconstrained_Array
attribute can be used with a prefix that
denotes any type or subtype. It is a static attribute that yields
True
if the prefix designates an unconstrained array,
and False
otherwise. In a generic instance, the result is
still static, and yields the result of applying this test to the
generic actual.