[BACK]Return to multprec_natural_numbers_io.ads CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / multprec_natural_numbers_io.ads (download)

Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 8 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD
Changes since 1.1: +0 -0 lines

Import the second public release of PHCpack.

OKed by Jan Verschelde.

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;