tagged types

tagged types

(programming)
Ada's type mechanism in which types can be extended via single inheritance.
Mentioned in ?
References in periodicals archive ?
Ada95 provides direct support for inheritance through the use of tagged types when using tagged implementation, each class corresponds to a tagged type.
The Subclasses am also implemented as tagged types declared in a generic library package.
Each Tagged type has an associated type denoted by T'Class which comprises the union of all the types in the tree of derived types rooted at T.