Next: Slices, Previous: Raising_Predefined_Exceptions, Up: Predefined Rules
Separate_Numeric_Error_Handlers
Flags each exception handler that contains a choice for
the predefined Constraint_Error exception, but does not contain
the choice for the predefined Numeric_Error exception, or
that contains the choice for Numeric_Error, but does not contain the
choice for Constraint_Error.
This rule has no parameters.