function_compilation.adb.npp

来自「This contains the following topics and m」· NPP 代码 · 共 27 行

with Ada.Text_IO, Ada.Float_Text_IO; use Ada.Text_IO, Ada.Float_Text_IO;
procedure function_compilation is
   type Miles is new float range 0.0 .. 25_000.0;
   --or
   -- type Miles is digits 8 range 0.0 .. 25_000.0; -- precision of 8 digits

   type Kilometres is new float range 0.0 .. 50_000.0;

   function M_To_K_Fun (M : in Miles) return Kilometres is
      Kilometres_Per_Mile : constant := 1.609_344;
   begin
      return Kilometres (M * Kilometres_Per_Mile);
   end M_To_K_Fun;
   No_of_Miles : Miles;
begin
   Put ("Miles       Kilometres");
   New_Line;
   No_of_Miles := 0.0;
   while No_of_Miles <= 10.0 loop
      Put (Float (No_of_Miles), Aft => 2, Exp => 0);
      Put ("         ");
      Put (Float (M_To_K_Fun (No_of_Miles)), Aft => 2, Exp => 0);
      New_Line;
      No_of_Miles := No_of_Miles + 1.0;
   end loop;
end function_compilation;