J.4 Атрибут ограниченности

Возвращает значение False, если S обозначает неограниченный неформальный закрытый подтип с дискриминантами; также возвращает False, если S обозначает порождённый параметр закрытого подтипа, а связанный фактический подтип является либо неограниченным подтипом с дискриминантами, либо неограниченным подтипом массива; в противном случае возвращает значение True. Значение этого атрибута имеет предопределённый подтип Boolean.