8.5.2 Exception Renaming Declarations

From OC Systems Wiki!
< Guide:95lrm
Revision as of 23:38, 4 May 2019 by imported>WikiVisor (1 revision imported)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An exception_renaming_declaration is used to rename an exception.


exception_renaming_declaration ::= defining_identifier : exception renames exception_name;

Legality Rules

The renamed entity shall be an exception.

Static Semantics

An exception_renaming_declaration declares a new view of the renamed exception.


Example of renaming an exception:

EOF : exception renames Ada.IO_Exceptions.End_Error; -- see A.13

Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc. Ada Reference Manual