DEFINITION MODULE RealConv;

(* low-level REAL/string conversions *)

IMPORT
  ConvTypes;

TYPE
  ConvResults = ConvTypes.ConvResults;
  (* strAllRight, strOutOfRnage, strWrongFormat, strEmpty *)

PROCEDURE ScanReal (inputCh: CHAR; VAR chClass: ConvTypes.ScanClass;
		    VAR nextState: ConvTypes.ScanState);
(* Representsthe start state of a finite state scanner for real numbers - assigns
   class of inputCh to chClass and a procedure representing the next state to
   nextState.
*)

PROCEDURE FormatReal (str: ARRAY OF CHAR): ConvResults;
(* Returns the format of the string value for conversion to float. *)

PROCEDURE ValueReal (str: ARRAY OF CHAR): REAL;
(* Returns the value corresponding to the real number string value str if
   str is well-formed; otherwise raises the RealConv exception.
*)

PROCEDURE LengthFloatReal (real: REAL; sigFigs: CARDINAL): CARDINAL;
(* Returns the number of characters in the floating-point string representation of
   real with sigFigs significant figures.
*)

PROCEDURE LengthEngReal (real: REAL; sigFigs: CARDINAL): CARDINAL;
(* Returns the number of characters in the floating-point string representation of
   real with sigFigs significant figures.
*)

PROCEDURE LengthFixedReal (real: REAL; place: INTEGER): CARDINAL;
(* Returns the number of characters in the floating-point string representation of
   real with sigFigs significant figures.
*)

PROCEDURE IsRConvException (): BOOLEAN;
(* Returns TRUE if the current coroutime is in the exceptional execution state because
   of the raising of an exception in a routine from this module; otherwise returns
   FALSE.
*)

END RealConv.
