function_compilation.adb

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

package body ada.pack_types is
   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;
end ada.pack_types;
-- now this package is made visible to the function M_To_K_Fun

--with ada.pack_types; use ada.pack_types;
 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;

with Ada.Text_IO, Ada.Float_Text_IO, Ada.pack_types
with Ada.M_To_Fun;
use Ada.Text_IO, Ada.Float_Text_IO, pack_types;
procedure function_compilation is
  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;