Справочник Ada 95
J.4 Атрибут Constrained
Статическая семантика
Для каждого закрытого типа подтипа S определён следующий атрибут:
- S'Constrained
- Возвращает значение False, если S обозначает незакреплённый неформальный закрытый подтип с дискриминантами; также возвращает значение False, если S обозначает формальный закрытый подтип-шаблон, а соответствующий фактический подтип является либо незакреплённым подтипом с дискриминантами, либо незакреплённым подтипом массива; в противном случае возвращает значение True. Значение этого атрибута имеет предопределённый тип Boolean.
