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;