Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_natural_numbers_io.ads, Revision 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>