Pragma No_Raise (GNAT Reference Manual)

### 2.119 Pragma No_Raise ¶

Syntax:

    pragma No_Raise (subprogram_LOCAL_NAME {, subprogram_LOCAL_NAME});

Each `subprogram_LOCAL_NAME` argument must refer to one or more subprogram declarations in the current declarative part. A subprogram to which this pragma is applied may not raise an exception that is not caught within it. An implementation-defined check named Raise_Check is associated with the pragma, and Program_Error is raised upon its failure (see RM 11.5(19/5)).