Ada Programming/Attributes/'Constrained
Description
editTrue if A of discriminated type denotes a constant, a value, or a constrained variable.
Yields the value True if A denotes a constant, a value, a tagged object, or a constrained variable, and False otherwise.
The value of this attribute is of the predefined type Boolean.
Example
editA’Constrained return Boolean