![]() ![]() | ![]() |
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, 10 months ago) by maekawa
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;