(***********************************************************************)
(*                                                                     *)
(*            Modula-2 Compiler RealInOut Library Module               *)
(*                                                                     *)
(*          High level input and output procedures for                 *)
(*          REAL numbers. RealInOut will be redirected                 *)
(*          when InOut is redirected.                                  *)
(*                                                                     *)
(*       original module : N. Wirth, PIM-2, 1982                       *)
(*       modifications   :                                             *)
(*                         pms 27 Oct 94 Delete reference to WriteOct  *)
(*                                       Now implemented in Modula2    *)
(*                         jl  April 96  Now implemented using RealStr *)
(*                                                                     *)
(***********************************************************************)

DEFINITION MODULE RealInOut;

   VAR
      Done : BOOLEAN;

   PROCEDURE ReadReal(VAR x : REAL);
   (* Precondition  : TRUE
    * Postcondition : Done = TRUE if and only if the next sequence 
    *                 of characters represents a REAL value.
    *)

   PROCEDURE WriteReal(x : REAL; width : CARDINAL);
   (* Precondition  : x and width are defined.
    * Postcondition : Outputs a REAL value occupying at least width character
    *                 positions with leading blanks as required to make width
    *)

END RealInOut.