在Ada中的Integer'Image值之后取消空格

with Ada.Text_IO; use Ada.Text_IO;

procedure Remove_Spaces is
   function Remove_Spaces_From_Image (Value : Integer) return String is
      Image_Str : constant String := Integer'Image (Value);
      Result    : String (1 .. Image_Str'Length);
      Index     : Natural := 0;
   begin
      for I in Image_Str'Range loop
         if Image_Str (I) /= ' ' then
            Index := Index + 1;
            Result (Index) := Image_Str (I);
         end if;
      end loop;
      return Result (1 .. Index);
   end Remove_Spaces_From_Image;

   Value : Integer := 12345;
begin
   Put_Line ("Original Image: " & Integer'Image (Value));
   Put_Line ("Without Spaces: " & Remove_Spaces_From_Image (Value));
end Remove_Spaces;