Return to standard_natural_numbers_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/standard_natural_numbers_io.adb, Revision 1.1

1.1     ! maekawa     1: with integer_io;
        !             2:
        !             3: package body Standard_Natural_Numbers_io is
        !             4:
        !             5:   procedure get ( file : in file_type; n : in out natural ) is
        !             6:   begin
        !             7:     integer_io.get(file,n);
        !             8:   end get;
        !             9:
        !            10:   procedure put ( file : in file_type; n : in natural ) is
        !            11:   begin
        !            12:     integer_io.put(file,n,1);
        !            13:   end put;
        !            14:
        !            15:   procedure put ( file : in file_type; n,dp : in natural ) is
        !            16:   begin
        !            17:     integer_io.put(file,n,dp);
        !            18:   end put;
        !            19:
        !            20: end Standard_Natural_Numbers_io;