Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/multprec_natural_numbers_io.ads, Revision 1.1.1.1
1.1 maekawa 1: with text_io; use text_io;
2: with Multprec_Natural_Numbers; use Multprec_Natural_Numbers;
3:
4: package Multprec_Natural_Numbers_io is
5:
6: -- DESCRIPTION :
7: -- This package provides basic input/output routines for natural numbers
8: -- of arbitrary length. The input is restricted to numbers whose size
9: -- does not exceed the length of one line.
10: -- To enhance readability of long numbers, underscores may be used to
11: -- separate blocks of numbers.
12:
13: procedure get ( lc : in out character; n : in out Natural_Number );
14: procedure get ( file : in file_type;
15: lc : in out character; n : in out Natural_Number );
16: procedure get ( n : in out Natural_Number );
17: procedure get ( file : in file_type; n : in out Natural_Number );
18:
19: -- DESCRIPTION :
20: -- Reads a string of numbers and returns a natural number.
21: -- The parameter lc is the leading character on entry.
22: -- On return it is the last character that has been read.
23:
24: procedure put ( n : in Natural_Number );
25: procedure put ( file : in file_type; n : in Natural_Number );
26:
27: -- DESCRIPTION :
28: -- Writes the number on Standard Output or on file.
29:
30: procedure put ( n : in Array_of_Naturals );
31: procedure put ( file : in file_type; n : in Array_of_Naturals );
32:
33: -- DESCRIPTION :
34: -- Writes the array as a natural number with all leading zeros.
35:
36: procedure put ( n : in Natural_Number; dp : in natural );
37: procedure put ( file : in file_type;
38: n : in Natural_Number; dp : in natural );
39:
40: -- DESCRIPTION :
41: -- Writes the number on Standard Output or on file, using at least
42: -- dp decimal places. If the number needs less space in its display,
43: -- then blanks are added in front of the number.
44:
45: end Multprec_Natural_Numbers_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>