|
Section 6.7.11:
Protect Statement
|
 |
This statment enables a program to catch raised exceptions (see 6.7.12). The protected statement list is enclosed between the keyword protect and the first when clause - which is a variant of typscase statement (sub-section 6.7.6). Any exception raise during execution of the protected statement list causes the when clauses to be searched for an appropriate type guard - or an else clause. If no typeguard is found and no else clause is present then a search for an outer protect staement is initiated. This continues until either a handling when clause is found or the run-time engine captures the exception and generates a report before halting the program.
Concrete Syntax
Abstract Syntax
Static Semantics
Dynamic Semantics
Comments
or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 22 May 2001.
|
|