M2compiler-V3/compiler/tests/convresults_prog.mod

MODULE ConvResultsProg;
(* ISO-style ConvResults status codes from Conversions. Exit 127. *)
IMPORT Conversions;
FROM Conversions IMPORT strAllRight, strOutOfRange, strWrongFormat,
                            strEmpty;
VAR ExitCode : INTEGER;
VAR n : INTEGER;
VAR c : CARDINAL;
VAR x : REAL;
VAR r : Conversions.ConvResults;
BEGIN
  r := Conversions.StrToInt("42", n);
  IF (r = strAllRight) AND (n = 42) THEN ExitCode := ExitCode + 1 END;
  r := Conversions.StrToInt("-7", n);
  IF (r = strAllRight) AND (n = -7) THEN ExitCode := ExitCode + 2 END;
  r := Conversions.StrToInt("4x", n);
  IF r = strWrongFormat THEN ExitCode := ExitCode + 4 END;
  r := Conversions.StrToInt("", n);
  IF r = strEmpty THEN ExitCode := ExitCode + 8 END;
  r := Conversions.StrToInt("99999999999", n);
  IF r = strOutOfRange THEN ExitCode := ExitCode + 16 END;

  IF Conversions.StrToCard("99", c) = strAllRight THEN
    IF c = 99 THEN ExitCode := ExitCode + 32 END
  END;
  IF Conversions.StrToReal("3.5", x) = strAllRight THEN
    IF x = 3.5 THEN ExitCode := ExitCode + 64 END
  END
END ConvResultsProg.