M2compiler-V3/stdlib/wholestr.def

DEFINITION MODULE WholeStr;
(* ISO 10514-1: conversion between whole numbers and their string
   forms. *)

IMPORT ConvTypes;

TYPE
  ConvResults = ConvTypes.ConvResults;

PROCEDURE StrToInt (str : ARRAY OF CHAR; VAR int : INTEGER;
                    VAR res : ConvResults);
PROCEDURE IntToStr (int : INTEGER; VAR str : ARRAY OF CHAR);
PROCEDURE StrToCard (str : ARRAY OF CHAR; VAR card : CARDINAL;
                     VAR res : ConvResults);
PROCEDURE CardToStr (card : CARDINAL; VAR str : ARRAY OF CHAR);

END WholeStr.