J.15.8 Shared Variable Pragmas
The form for pragmas
Atomic, Volatile, Independent, Atomic_Components, and Volatile_Components,
and Independent_Components is as follows:
Pragmas Independent and Independent_Components
are born obsolescent; they are defined to provide consistency with the
existing shared variable pragmas. As with all obsolescent features, these
pragmas are not optional; all Ada implementations need to implement them.
Also note that these pragmas were defined as a Correction; as
such, they are expected to be implemented as part of Ada 2005 implementations
(and they would not be obsolescent there).
Name Resolution Rules
are representation pragmas (see 13.1). Each
of these pragmas
specifies that the similarly named aspect (see C.6)
of the type, object, or component denoted by its argument is True.
Wording Changes from Ada 2005
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe