Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

J.11 The Class Attribute of Untagged Incomplete Types

Static Semantics

For the first subtype S of a type T declared by an incomplete_type_declaration that is not tagged, the following attribute is defined: 
Denotes the first subtype of the incomplete class-wide type rooted at T. The completion of T shall declare a tagged type. Such an attribute reference shall occur in the same library unit as the incomplete_type_declaration.

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe