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.