8.5.2 Exception Renaming Declarations
1
[An exception_renaming_declaration
is used to rename an exception.]
Syntax
2
exception_renaming_declaration ::= defining_identifier :
exception renames exception_name;
Legality Rules
3
The renamed entity shall be an exception.
Static Semantics
4
An exception_renaming_declaration
declares a new view [of the renamed exception].
Examples
5
Example of renaming
an exception:
6
EOF :
exception renames Ada.IO_Exceptions.End_Error;
-- see A.13