J.15.8 Shared Variable Pragmas
The form for pragma
Atomic, Volatile, Independent, Atomic_Components, and Volatile_Components,
and Independent_Components is as follows:
Name Resolution Rules
in an Atomic or Volatile pragma shall resolve to denote either an object_declaration
a noninherited component_declaration
or a full_type_declaration
in an Independent pragma shall resolve to denote a noninherited component_declaration
in an Atomic_Components or Volatile_Components pragma shall resolve to
denote the declaration of an array type or an array object of an anonymous
type. The local_name
in an Independent_Components pragma shall resolve to denote the declaration
of an array or record type or an array object of an anonymous type.
are representation pragmas (see 13.1
of these pragma
specifies that the similarly named aspect (see C.6
of the type, object, or component denoted by its argument is True.
of each of these pragma
shall denote a declaration that may have the similarly named aspect specified.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe