DEFINITION MODULE RealConv;

  (* Low-level REAL/string conversions *)

IMPORT
  ConvTypes;

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

PROCEDURE ScanReal (inputCh: CHAR; VAR chClass: ConvTypes.ScanClass;
                    VAR nextState: ConvTypes.ScanState);
(*
 * Represents the 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 REAL.
 *)

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 engineering string
 * representation of real with sigFigs significant figures.
 *)

PROCEDURE LengthFixedReal (real: REAL; place: INTEGER): CARDINAL;
(*
 * Returns the number of characters in the fixed-point string representation of real
 * rounded to the given place relative to the decimal point.
 *)

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

END RealConv.