Index

    DEFINITION extConvert;
    (*Conversions between numbers and strings

    All conversions from a string skips over preceeding whitespace.*)

    	PROCEDURE IntToString(i: INTEGER; VAR s: ARRAY OF CHAR; VAR done: BOOLEAN);
    (*IntToString(i, s, d) returns in s the decimal representation of i. If s is large enough to hold the result, d is set to TRUE. Otherwise d is set to FALSE.*)

    	PROCEDURE RealToString(x: REAL; VAR s: ARRAY OF CHAR; VAR done: BOOLEAN);
    (*RealToString(x, s, d) returns in s a string representation of x. If s is large enough to hold the result, d is set to TRUE. Otherwise d is set to FALSE.*)

    	PROCEDURE StringToInt(s: ARRAY OF CHAR; VAR i: INTEGER; VAR done: BOOLEAN);
    (*StringToInt(s, i, d) returns in i the integer constant in s according to the format

    	integer = digit {digit} | digit {hexDigit} "H".
    	hexDigit = digit | "A" | "B" | "C" | "D" | "E" | "F".

    d indicates the success of the operation.*)

    	PROCEDURE StringToReal(s: ARRAY OF CHAR; VAR x: REAL; VAR done: BOOLEAN);
    (*StringToReal(s, x, d) returns in x the real number in s according to the format

    	real = digit {digit} "." {digit} [ScaleFactor].
    	ScaleFactor = "E" ["+" | "-"] digit {digit}.

    d indicates the success of the operation.*)

    END extConvert.