PowerAda 40

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Revision as of 09:55, 24 April 2019 by imported>WikiVisor
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(40) The result of Exceptions.Exception_Name for types declared within an unnamed block_statement.

See 11.4.1(12).

Whether the block is named or unnamed is immaterial. The Exception_Name for types declared within a block statement does not contain any representation of the block name. In both cases, the result of Exception_Name is the same as if the exception was declared within the enclosing subprogram.