Next: , Previous: Non_Tagged_Derived_Types, Up: Predefined Rules


23.7.42 Non_Visible_Exceptions

Flag constructs leading to the possibility of propagating an exception out of the scope in which the exception is declared. Two cases are detected:

Renamings of local exceptions are not flagged.

This rule has no parameters.