FloatingPointPrivate.mesa
Copyright
Ó 1989, 1991 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) June 29, 1989 1:01:36 pm PDT
FloatingPointPrivate:
CEDAR
DEFINITIONS =
BEGIN
currentState:
READONLY FloatingState;
tells whether checking is done by software
(for all Cedar/Mesa processes)
SetState:
PROC [new: FloatingState]
RETURNS [old: FloatingState];
FloatingState:
TYPE = {
noCheck,
no check performed using either hardware or software
hardware
validity checking performed using hardware (if possible)
};
END.