Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_natural_numbers_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2:
3: package Standard_Natural_Numbers_io is
4:
5: -- DESCRIPTION :
6: -- Definitions of the input/output routines for standard naturals.
7:
8: procedure get ( file : in file_type; n : in out natural );
9:
10: -- DESCRIPTION :
11: -- Reads a natural number from file.
12:
13: procedure put ( file : in file_type; n : in natural );
14:
15: -- DESCRIPTION :
16: -- Writes a natural number to the file, with no spaces in front.
17:
18: procedure put ( file : in file_type; n,dp : in natural );
19:
20: -- DESCRIPTION :
21: -- Writes the number on file, using at least dp decimal places.
22: -- If the number needs less space in its display,
23: -- then blanks are added in front of the number.
24:
25: end Standard_Natural_Numbers_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>