Return to numbers_io.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/numbers_io.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Floating_Numbers_io;       use Standard_Floating_Numbers_io;
                      3:
                      4: package body Numbers_io is
                      5:
                      6:   procedure Read_Positive ( p : out positive ) is
                      7:   begin
                      8:     get(p); skip_line;
                      9:   exception
                     10:     when DATA_ERROR | CONSTRAINT_ERROR =>
                     11:       skip_line;  -- skip the rubbish
                     12:       put("This is not a positive number, try again : ");
                     13:       Read_Positive(p);
                     14:   end Read_Positive;
                     15:
                     16:   procedure Read_Natural ( n : out natural ) is
                     17:   begin
                     18:     get(n); skip_line;
                     19:   exception
                     20:     when DATA_ERROR | CONSTRAINT_ERROR =>
                     21:       skip_line;  -- skip the rubbish
                     22:       put("This is not a natural number, try again : ");
                     23:       Read_Natural(n);
                     24:   end Read_Natural;
                     25:
                     26:   procedure Read_Integer ( i : out integer ) is
                     27:   begin
                     28:     get(i); skip_line;
                     29:   exception
                     30:     when DATA_ERROR | CONSTRAINT_ERROR =>
                     31:       skip_line;  -- skip the rubbish
                     32:       put("This is not an integer number, try again : ");
                     33:       Read_Integer(i);
                     34:   end Read_Integer;
                     35:
                     36:   procedure Read_Single_Float ( f : out single_float ) is
                     37:   begin
                     38:     get(f); skip_line;
                     39:   exception
                     40:     when DATA_ERROR | CONSTRAINT_ERROR =>
                     41:       skip_line;  -- skip the rubbish
                     42:       put("This is not a floating point number, try again : ");
                     43:       Read_Single_Float(f);
                     44:   end Read_Single_Float;
                     45:
                     46:   procedure Read_Double_Float ( f : out double_float ) is
                     47:   begin
                     48:     get(f); skip_line;
                     49:   exception
                     50:     when DATA_ERROR | CONSTRAINT_ERROR =>
                     51:       skip_line;  -- skip the rubbish
                     52:       put("This is not a floating point number, try again : ");
                     53:       Read_Double_Float(f);
                     54:   end Read_Double_Float;
                     55:
                     56: end Numbers_io;