Next: Pragma Propagate_Exceptions, Previous: Pragma Profile, Up: Implementation Defined Pragmas [Contents][Index]
Syntax:
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.