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;