DIRECTORY
FloatingPointCommon,
FloatingPointPrivate;
FloatingPointSoftImpl: CEDAR PROGRAM
EXPORTS FloatingPointCommon, FloatingPointPrivate
= BEGIN OPEN FloatingPointCommon, FloatingPointPrivate;

currentState: PUBLIC FloatingState ¬ noCheck;

SetState: PUBLIC PROC [new: FloatingState] RETURNS [old: FloatingState] = {
old ¬ currentState;
currentState ¬ noCheck;
};

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.

  ¶  
FloatingPointSoftImpl.mesa
Copyright Ó 1989, 1991 by Xerox Corporation.  All rights reserved.
Russ Atkinson (RRA) July 5, 1989 10:55:16 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.
Ê  –(cedarcode) style•NewlineDelimiter
™ codešœ™Kšœ
Ïeœ7™BK™0K™ šÏk	˜	Kšœ˜Kšœ˜——headšœžœž˜$Kšžœ*˜1Kšœžœ)ž˜7K˜ —šœžœ˜-K˜ —šÏnœžœžœžœ˜KKšœ˜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˜ — …—    R  		  