Return to multprec_natural_numbers_io.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

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;