Syntax:
pragma Priority_Specific_Dispatching ( POLICY_IDENTIFIER, first_priority_EXPRESSION, last_priority_EXPRESSION) POLICY_IDENTIFIER ::= EDF_Across_Priorities | FIFO_Within_Priorities | Non_Preemptive_Within_Priorities | Round_Robin_Within_Priorities
This pragma is standard in Ada 2005, but is available in all earlier versions of Ada as an implementation-defined pragma. See Ada 2012 Reference Manual for details.