J.15.11 Pragmas Priority and Interrupt_Priority
Name Resolution Rules
The expected type for the expression
in a Priority or Interrupt_Priority pragma is Integer.
For an implementation that supports Annex D, a
specifies the value of the Priority aspect (see D.1)
and a pragma
Interrupt_Priority specifies the value of the Interrupt_Priority aspect
If there is no expression
in an Interrupt_Priority pragma, the Interrupt_Priority aspect has the
Wording Changes from Ada 2005
This clause is new. Pragmas Interrupt_Priority
and Priority were moved here from D.1; aspects
Interrupt_Priority and Priority live there now.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe