(* Copyright (C) 1991, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Wed Nov 20 10:45:06 PST 1991 by muller         *)
(*      modified on Thu Sep 26 22:49:00 1991 by kalsow         *)


MODULE FloatMode;

PROCEDURE SetRounding(<*UNUSED*> md: RoundingMode) RAISES {Failure} =
  BEGIN
    <*ASSERT FALSE*>
  END SetRounding;

PROCEDURE GetRounding(): RoundingMode =
  BEGIN
    <*ASSERT FALSE*>
  END GetRounding;

PROCEDURE GetFlags(): SET OF Flag =
  BEGIN
    <*ASSERT FALSE*>
  END GetFlags;

PROCEDURE SetFlags(<*UNUSED*> s: SET OF Flag): SET OF Flag =
  BEGIN
    <*ASSERT FALSE*>
  END SetFlags;

PROCEDURE ClearFlag(<*UNUSED*> f: Flag) =
  BEGIN
    <*ASSERT FALSE*>
  END ClearFlag;

PROCEDURE SetBehavior(<*UNUSED*> f: Flag; <*UNUSED*> b: Behavior) RAISES {Failure} =
  BEGIN
    <*ASSERT FALSE*>
  END SetBehavior;

PROCEDURE GetBehavior(<*UNUSED*> f: Flag): Behavior =
  BEGIN
    <*ASSERT FALSE*>
  END GetBehavior;

(*------------------------------------------------- thread initialization ---*)

PROCEDURE InitThread (<*UNUSED*> VAR state: ThreadState) =
  BEGIN
  END InitThread;

(*----------------------------------------- floating-point fault handling ---*)

BEGIN
END FloatMode.