Wikibooks

Ada Programming/Attributes/'Has Tagged Values

< Ada Programming | Attributes
This page may need to be reviewed for quality.

Description

edit

The prefix of the Has_Tagged_Values attribute is a type. The result is a Boolean value which is True if the type is a composite type (array or record) that is either a tagged type or has a subcomponent that is tagged, and is False otherwise. The intended use of this attribute is in conjunction with generic definitions. If the attribute is applied to a generic private type, it indicates whether or not the corresponding actual type has access values.

Retrieved from "https://en.wikibooks.org/wiki/Ada_Programming/Attributes/%27Has_Tagged_Values"