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