Ada Programming/Attributes/'Unconstrained Array
Description
editThe 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.