Copyright (C) 1994, Digital Equipment Corp.
MODULE FloatMode;
IMPORT RTMisc;
PROCEDURE SetRounding(<*UNUSED*> md: RoundingMode) =
BEGIN
Die ("FloatMode.SetRounding not implemented");
END SetRounding;
PROCEDURE GetRounding(): RoundingMode =
BEGIN
RETURN RoundingMode.NearestElseEven;
(*** Die ("FloatMode.GetRounding not implemented"); ***)
(*** <*ASSERT FALSE*> ***)
END GetRounding;
PROCEDURE GetFlags(): SET OF Flag =
BEGIN
Die ("FloatMode.GetFlags not implemented");
<*ASSERT FALSE*>
END GetFlags;
PROCEDURE SetFlags(<*UNUSED*> s: SET OF Flag): SET OF Flag =
BEGIN
Die ("FloatMode.SetFlags not implemented");
<*ASSERT FALSE*>
END SetFlags;
PROCEDURE ClearFlag(<*UNUSED*> f: Flag) =
BEGIN
Die ("FloatMode.ClearFlag not implemented");
END ClearFlag;
PROCEDURE SetBehavior(<*UNUSED*> f: Flag; <*UNUSED*> b: Behavior) =
BEGIN
Die ("FloatMode.SetBehavior not implemented");
END SetBehavior;
PROCEDURE GetBehavior(<*UNUSED*> f: Flag): Behavior =
BEGIN
Die ("FloatMode.GetBehavior not implemented");
<*ASSERT FALSE*>
END GetBehavior;
------------------------------------------------- thread initialization ---
PROCEDURE InitThread (<*UNUSED*> VAR state: ThreadState) =
BEGIN
END InitThread;
----------------------------------------- floating-point fault handling ---
PROCEDURE Die (msg: TEXT) =
BEGIN
RTMisc.FatalError (NIL, 0, msg);
<*ASSERT FALSE*>
END Die;
BEGIN
END FloatMode.