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     ! 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;