Next: , Previous: , Up: Implementation Defined Pragmas   [Contents][Index]

2.138 Pragma Profile_Warnings


pragma Profile_Warnings (Ravenscar | Restricted | Rational);

This is an implementation-defined pragma that is similar in effect to pragma Profile except that instead of generating Restrictions pragmas, it generates Restriction_Warnings pragmas. The result is that violations of the profile generate warning messages instead of error messages.