Next: Slices, Previous: Raising_External_Exceptions, Up: Predefined Rules
Raising_Predefined_Exceptions
Flag each raise statement that raises a predefined exception
(i.e., one of the exceptions Constraint_Error, Numeric_Error,
Program_Error, Storage_Error, or Tasking_Error).
This rule has no parameters.