gm2-libs-iso/M2EXCEPTION
DEFINITION MODULE M2EXCEPTION;
(* Provides facilities for identifying language exceptions *)
TYPE
M2Exceptions =
(indexException, rangeException, caseSelectException, invalidLocation,
functionException, wholeValueException, wholeDivException, realValueException,
realDivException, complexValueException, complexDivException, protException,
sysException, coException, exException
);
PROCEDURE M2Exception (): M2Exceptions;
(* If the current coroutine is in the exceptional execution state because of the raising
of a language exception, returns the corresponding enumeration value, and otherwise
raises an exception.
*)
PROCEDURE IsM2Exception (): BOOLEAN;
(* If the current coroutine is in the exceptional execution state because of the raising
of a language exception, returns TRUE, and otherwise returns FALSE.
*)
END M2EXCEPTION.