File : reps-io.adb



package body Reps.IO is

  package Txt_Rep_IO is new Ada.Text_IO.Float_IO(Rep);

  procedure Txt_Get(F: in File_Type; R: out Rep) is
  begin
    Txt_Rep_IO.Get(File=>F, Item=>R, Width=>0);
  end Txt_Get;

  procedure Txt_Put(F: in File_Type; R: in Rep) is
  begin
    Txt_Rep_IO.Put(File=>F, Item=>R, Aft=>17, Exp=>4);
  end Txt_Put;

end Reps.IO;