blob: d830a14910e055b671fa8635cbb2affaa0c34b83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
package Noreturn3 is
Exc1 : Exception;
Exc2 : Exception;
Exc3 : Exception;
type Enum is (One, Two, Three);
procedure Raise_Error (E : Enum; ErrorMessage : String);
pragma No_Return (Raise_Error);
end Noreturn3;
|