Return to standard_natural_numbers_io.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_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; package Standard_Natural_Numbers_io is -- DESCRIPTION : -- Definitions of the input/output routines for standard naturals. procedure get ( file : in file_type; n : in out natural ); -- DESCRIPTION : -- Reads a natural number from file. procedure put ( file : in file_type; n : in natural ); -- DESCRIPTION : -- Writes a natural number to the file, with no spaces in front. procedure put ( file : in file_type; n,dp : in natural ); -- DESCRIPTION : -- Writes the number 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 Standard_Natural_Numbers_io;