Return to standard_integer_numbers_io.adb CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with integer_io;

package body Standard_Integer_Numbers_io is

  procedure get ( file : in file_type; i : in out integer ) is
  begin
    integer_io.get(file,i);
  end get;

  procedure put ( file : in file_type; i : in integer ) is
  begin
    integer_io.put(file,i,1);
  end put;

  procedure put ( file : in file_type; i : in integer; dp : in natural ) is
  begin
    integer_io.put(file,i,dp);
  end put;

end Standard_Integer_Numbers_io;