Справочник по Ada 2012
J.11 Атрибут Class для неразмеченных неполных типов
Статическая семантика
Для первого подтипа S типа T, объявленного с помощью объявления_неполного_типа, который не помечен, определяется следующий атрибут:
S'Class
Обозначает первый подтип неполного типа класса, укорененного в T. Завершение T должно объявлять помеченный тип. Такая ссылка на атрибут должна присутствовать в том же модуле, что и объявление_неполного_типа.
