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

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;