with text_io; use text_io;
with Multprec_Natural_Numbers; use Multprec_Natural_Numbers;
package Multprec_Natural_Numbers_io is
-- DESCRIPTION :
-- This package provides basic input/output routines for natural numbers
-- of arbitrary length. The input is restricted to numbers whose size
-- does not exceed the length of one line.
-- To enhance readability of long numbers, underscores may be used to
-- separate blocks of numbers.
procedure get ( lc : in out character; n : in out Natural_Number );
procedure get ( file : in file_type;
lc : in out character; n : in out Natural_Number );
procedure get ( n : in out Natural_Number );
procedure get ( file : in file_type; n : in out Natural_Number );
-- DESCRIPTION :
-- Reads a string of numbers and returns a natural number.
-- The parameter lc is the leading character on entry.
-- On return it is the last character that has been read.
procedure put ( n : in Natural_Number );
procedure put ( file : in file_type; n : in Natural_Number );
-- DESCRIPTION :
-- Writes the number on Standard Output or on file.
procedure put ( n : in Array_of_Naturals );
procedure put ( file : in file_type; n : in Array_of_Naturals );
-- DESCRIPTION :
-- Writes the array as a natural number with all leading zeros.
procedure put ( n : in Natural_Number; dp : in natural );
procedure put ( file : in file_type;
n : in Natural_Number; dp : in natural );
-- DESCRIPTION :
-- Writes the number on Standard Output or on file, using at least
-- dp decimal places. If the number needs less space in its display,
-- then blanks are added in front of the number.
end Multprec_Natural_Numbers_io;