<<>> <> <> <> <<>> DIRECTORY FloatingPointCommon, FloatingPointPrivate; FloatingPointImpl: CEDAR PROGRAM EXPORTS FloatingPointCommon, FloatingPointPrivate = BEGIN OPEN FloatingPointCommon, FloatingPointPrivate; currentState: PUBLIC FloatingState ¬ noCheck; SetState: PUBLIC PROC [new: FloatingState] RETURNS [old: FloatingState] = { InstallMesaFloatingSignalHandler: PROC [pd: MesaFloatingSignalHandlerType] RETURNS [WORD] = TRUSTED MACHINE CODE { "XR_InstallMesaFloatingSignalHandler" }; old ¬ currentState; < [] ¬ InstallMesaFloatingSignalHandler[NIL]; hardware => IF InstallMesaFloatingSignalHandler[FloatingSignalHandler] # 0 THEN new ¬ noCheck; ENDCASE => ERROR; currentState ¬ new;>> }; MesaFloatingSignalHandlerType: TYPE = PROC [code: Exception]; FloatingSignalHandler: MesaFloatingSignalHandlerType = {ERROR Error[code]}; Error: PUBLIC ERROR [code: Exception] = CODE; SupportedExceptionErrors: PUBLIC PROC RETURNS [ExceptionFlags] = { <> flags: ExceptionFlags ¬ NoExceptions; IF currentState # noCheck THEN { flags[invalidOperation] ¬ TRUE; flags[overflow] ¬ TRUE; flags[divisionByZero] ¬ TRUE; }; RETURN [flags]; }; <<>> SupportedStickyFlags: PUBLIC PROC RETURNS [ExceptionFlags] = { <> RETURN [NoExceptions]; }; GetStickyFlags: PUBLIC PROC RETURNS [ExceptionFlags] = { RETURN [NoExceptions]; }; SetStickyFlags: PUBLIC PROC [new: ExceptionFlags ¬ NoExceptions] RETURNS [old: ExceptionFlags] = { <> RETURN [NoExceptions]; }; END.