Next: , Previous: Pragma Priority_Specific_Dispatching, Up: Implementation Defined Pragmas

2.133 Pragma Profile


    pragma Profile (Ravenscar | Restricted | Rational);

This pragma is standard in Ada 2005, but is available in all earlier versions of Ada as an implementation-defined pragma. This is a configuration pragma that establishes a set of configuration pragmas that depend on the argument. Ravenscar is standard in Ada 2005. The other two possibilities (Restricted or Rational) are implementation-defined. The set of configuration pragmas is defined in the following sections.