J.15.11 Pragmas Priority and Interrupt_Priority
Syntax
Name Resolution Rules
{
AI05-0229-1}
The expected type for the expression
in a Priority or Interrupt_Priority pragma is Integer.
Legality Rules
Static Semantics
{
AI05-0229-1}
For an implementation that supports Annex D, a
pragma Priority
specifies the value of the Priority aspect (see D.1)
and a pragma
Interrupt_Priority specifies the value of the Interrupt_Priority aspect
as follows:
{
AI05-0229-1}
If there is no expression
in an Interrupt_Priority pragma, the Interrupt_Priority aspect has the
value Interrupt_Priority'Last.
Wording Changes from Ada 2005
{
AI05-0229-1}
{
AI05-0299-1}
This subclause 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