Return to standard_floating_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_floating_numbers_io.adb, Revision 1.1

1.1     ! maekawa     1: -- try to read in this number :  2.37151309632067E-27
        !             2: with text_io;
        !             3:
        !             4: package body Standard_Floating_Numbers_io is
        !             5:
        !             6:   package single_float_io is new text_io.float_io(single_float);
        !             7:   package double_float_io is new text_io.float_io(double_float);
        !             8:
        !             9:   procedure get ( f : in out single_float ) is
        !            10:   begin
        !            11:     single_float_io.get(f);
        !            12:   end get;
        !            13:
        !            14:   procedure get ( file : in file_type; f : in out single_float ) is
        !            15:   begin
        !            16:     single_float_io.get(file,f);
        !            17:   end get;
        !            18:
        !            19:   procedure get ( f : in out double_float ) is
        !            20:   begin
        !            21:     double_float_io.get(f);
        !            22:   end get;
        !            23:
        !            24:   procedure get ( file : in file_type; f : in out double_float ) is
        !            25:   begin
        !            26:     double_float_io.get(file,f);
        !            27:   end get;
        !            28:
        !            29:   procedure put ( f : in single_float ) is
        !            30:   begin
        !            31:     single_float_io.put(f);
        !            32:   end put;
        !            33:
        !            34:   procedure put ( file : in file_type; f : in single_float ) is
        !            35:   begin
        !            36:     single_float_io.put(file,f);
        !            37:   end put;
        !            38:
        !            39:   procedure put ( f : in double_float ) is
        !            40:   begin
        !            41:     double_float_io.put(f);
        !            42:   end put;
        !            43:
        !            44:   procedure put ( file : in file_type; f : in double_float ) is
        !            45:   begin
        !            46:     double_float_io.put(file,f);
        !            47:   end put;
        !            48:
        !            49:   procedure put ( f : in single_float; fore,aft,exp : in natural ) is
        !            50:   begin
        !            51:     single_float_io.put(f,fore,aft,exp);
        !            52:   end put;
        !            53:
        !            54:   procedure put ( f : in double_float; fore,aft,exp : in natural ) is
        !            55:   begin
        !            56:     double_float_io.put(f,fore,aft,exp);
        !            57:   end put;
        !            58:
        !            59:   procedure put ( file : in file_type;
        !            60:                   f : in single_float; fore,aft,exp : in natural ) is
        !            61:   begin
        !            62:     single_float_io.put(file,f,fore,aft,exp);
        !            63:   end put;
        !            64:
        !            65:   procedure put ( file : in file_type;
        !            66:                   f : in double_float; fore,aft,exp : in natural ) is
        !            67:   begin
        !            68:     double_float_io.put(file,f,fore,aft,exp);
        !            69:   end put;
        !            70:
        !            71:   procedure put ( f : in double_float; dp : in natural ) is
        !            72:   begin
        !            73:     double_float_io.put(f,dp,dp,dp);
        !            74:   end put;
        !            75:
        !            76:   procedure put ( file : in file_type;
        !            77:                   f : in double_float; dp : in natural ) is
        !            78:   begin
        !            79:     double_float_io.put(file,f,dp,dp,dp);
        !            80:   end put;
        !            81:
        !            82: end Standard_Floating_Numbers_io;