Справочник по Ada 95
11.3 Указания raise
Указание raise_statement вызывает исключение.
Синтаксис
raise_statement ::= raise [имя_исключенияname];
Правила легальности
Если указано, имя в raise_statement должно обозначать исключение. Указание raise_statement без имя_исключения (то есть, перевызов инструкции) должно находиться внутри обработчика, но не внутри тела, заключенного в этот обработчик.
Динамические семантика
Вызвать исключение — это вызвать новую экземпляцию этого исключения, как объяснено в 11.4. Для выполнения raise_statement с имя_исключения, указанное исключение вызывается. Для выполнения инструкции перевызова, экземпляр исключения, который вызвал передачу управления в самый внутренний обработчик, вызывается снова.
Примеры
Примеры инструкций raise:
raise Ada.IO_Exceptions.Name_Error; -- см. A.13
raise; -- перевызвать текущее исключение
