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

2.136 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.