Contents Index Search Previous Next
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
Contents Index Search Previous Next Legal