DEFINITION MODULE EXCEPTIONS;
(* ISO 10514-1 exception source and enquiry interface. *)

TYPE
  ExceptionSource;   (* opaque *)
  ExceptionNumber = CARDINAL;

PROCEDURE AllocateSource (VAR newSource : ExceptionSource);
PROCEDURE RAISE (source : ExceptionSource; number : ExceptionNumber;
                 message : ARRAY OF CHAR);
PROCEDURE CurrentNumber (source : ExceptionSource) : ExceptionNumber;
PROCEDURE GetMessage (VAR text : ARRAY OF CHAR);
PROCEDURE IsCurrentSource (source : ExceptionSource) : BOOLEAN;
PROCEDURE IsExceptionalExecution () : BOOLEAN;

END EXCEPTIONS.