411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Has Tagged Values
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
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.