Annotated Ada Reference Manual (Ada 202y Draft 1) — Legal Information

10.1.5 Pragmas and Program Units

1/5

{AI12-0417-1} [This subclause discusses pragmas related to compilations.]

Paragraphs 2 through 7 were moved to Annex J, “Obsolescent Features”.

Post-Compilation Rules

Certain pragmas are defined to be configuration pragmas; they shall appear before the first compilation_unit of a compilation. [They are generally used to select a partition-wide or system-wide option.] The pragma applies to all compilation_units appearing in the compilation, unless there are none, in which case it applies to all future compilation_units compiled into the same environment.

Implementation Permissions

9/2

{AI95-00212-01} An implementation may require that configuration pragmas that select partition-wide or system-wide options be compiled when the environment contains no library_items other than those of the predefined environment. In this case, the implementation shall still accept configuration pragmas in individual compilations that confirm the initially selected partition-wide or system-wide options.

10.a/5

This paragraph was deleted.

Paragraph 10 was moved to Annex J, “Obsolescent Features”.

Wording Changes from Ada 95

10.b/5

This paragraph was deleted.{8652/0033} {AI95-00136-01} {AI12-0417-1}

10.c/5

This paragraph was deleted.{8652/0034} {AI95-00041-01} {AI12-0417-1}

10.d/5

This paragraph was deleted.{AI12-0417-1}

10.e/2

{AI95-00212-01} The permission to place restrictions was clarified to:

10.f/2

Ensure that it applies only to partition-wide configuration pragmas, not ones like Assertion_Policy (see 11.4.2), which can be different in different units; and

10.g/2

Ensure that confirming pragmas are always allowed.

Wording Changes from Ada 2005

10.h/5

This paragraph was deleted.{AI05-0132-1} {AI12-0417-1}

Wording Changes from Ada 2012

10.i/5

{AI12-0417-1} The terms “program unit pragma” and “library unit pragma” were moved to Annex J, “Obsolescent Features” (specifically to J.15) as all of the pragmas that use these terms are now in that annex.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe