J.15.11 Pragmas Priority and Interrupt_Priority
Syntax
1/3
The form of a
pragma
Priority is as follows:
2/3
3/3
The form of a
pragma
Interrupt_Priority is as follows:
4/3
Name Resolution Rules
5/3
The expected type for the
expression
in a Priority or Interrupt_Priority pragma is Integer.
Legality Rules
6/3
7/3
Static Semantics
8/3
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:
9/3
10/3
11/3
12/3
If there is no
expression
in an Interrupt_Priority pragma, the Interrupt_Priority aspect has the
value Interrupt_Priority'Last.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe