float/src/IEEE-default/FloatMode.m3


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.

interface FloatMode is in: