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;
<<SELECT new FROM
noCheck =>
[] м 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.

  ▓  
FloatingPointImpl.mesa
Copyright ╙ 1989, 1991 by Xerox Corporation.  All rights reserved.
Russ Atkinson (RRA) June 29, 1989 1:02:28 pm PDT

This operation indicates which exception flags are supported by Error.  It is permitted for none of the flags to be supported by the primitive operations.

This operation indicates which exception flags are supported by GetStickyFlags and SetStickyFlags.  It is permitted for none of the flags to be supported.
The various exceptions may have independent "sticky" flags that remember if the exception has occurred since the last call to SetStickyFlags.  SetStickyFlags is provided so that procedures may save and restore the state for others.
Э╩p  ХNewlineDelimiter
Ц(cedarcode) styleЩ codeЪЬЩKЪЬ
╧eЬ7ЩBKЩ0KЩ Ъ╧k	Ш	KЪЬШKЪЬШЧЧheadЪЬЮЬЮШ KЪЮЬ*Ш1KЪЬЮЬ)ЮШ7KШ ЧЪЬЮЬШ-KШ ЧЪ╧nЬЮЬЮЬЮЬШKЪЯ ЬЮЬ%ЮЬЮЬЮЬЮЬЮЬШrKЪЬ%Ш%KШЧKЪЬШЪЬЮЬЮШЪЬ
Ш
KЪЬ&ЮЬШ+ЧЪЬШKЪЮЬ=ЮЬШRЧKЪЮЬЮЬШЧKЪЬШKШЧKШ KЪЬЮЬЮЬШ=ЪЯЬ#ЮЬШKKШ ЧKЪЯЬЮЬЮЬЮЬШ-KШ ЪЯЬЮЬЮЬЮЬШBKЪЬЪЩЪKЪЬ%Ш%ЪЮЬЮЬШ KЪЬЮЬШKЪЬЮЬШKЪЬЮЬШKШЧKЪЮЬ	ШKШKЩ ЧЪЯЬЮЬЮЬЮЬШ>KЪЬЪЩЪKЪЮЬШKШЧKШ ЪЯЬЮЬЮЬШ8KЪЮЬШKШKШ ЧЪЯЬЮЬ&ЮЬШbKЪЬчЩчKЪЮЬШKШKШ ЧKЪЮЬШKШ Ч ЕЧ    в  
─  