ADA - Tipo de parámetro para hacer bitmap en Ada

with Ada.Text_IO; -- Necesario para la salida en consola

with Ada.Streams.Stream_IO;

procedure Main is

   type Luminance is mod 2**8;

   type Pixel is record

      R, G, B : Luminance;

   end record;

   Black : constant Pixel := (others => 0);

   White : constant Pixel := (others => 255);

   type Image is array (Positive range <>, Positive range <>) of Pixel;

   type Point is record

      X, Y : Positive;

   end record;

   procedure Fill (Picture : in out Image; Color : Pixel) is

      -- Implementación del procedimiento Fill

   begin

      null; -- Código de llenado del bitmap

   end Fill;

   procedure Print (Picture : Image) is

      -- Implementación del procedimiento Print

   begin

      null; -- Código de impresión del bitmap

   end Print;

   procedure Put_PPM (File : Ada.Streams.Stream_IO.File_Type; Picture : Image) is

      use Ada.Characters.Latin_1;

      Size : constant String := Integer'Image (Picture'Length (2)) & Integer'Image (Picture'Length (1));

      Buffer : String (1..Picture'Length (2) * 3);

      Color : Pixel;

      Index : Positive;

   begin

      String'Write (Stream (File), "P6" & LF);

      String'Write (Stream (File), Size (2..Size'Last) & LF);

      String'Write (Stream (File), "255" & LF);

      for I in Picture'Range (1) loop

         Index := Buffer'First;

         for J in Picture'Range (2) loop

            Color := Picture (I, J);

            Buffer (Index) := Character'Val (Color.R);

            Buffer (Index + 1) := Character'Val (Color.G);

            Buffer (Index + 2) := Character'Val (Color.B);

            Index := Index + 3;

         end loop;

         String'Write (Stream (File), Buffer);

      end loop;

      Character'Write (Stream (File), LF);

   end Put_PPM;

   X : Image (1..64, 1..64);

begin

   Fill (X, (255, 255, 255));

   X (1, 2) := (R => 255, others => 0);

   X (3, 4) := X (1, 2);

   Print(X);

   -- Abre el archivo para escritura

   declare

      File : Ada.Streams.Stream_IO.File_Type;

   begin

      Ada.Streams.Stream_IO.Open (File, Ada.Streams.Stream_IO.Out_File, "nombre_del_archivo.ppm");

      Put_PPM(File, X);

      Ada.Streams.Stream_IO.Close(File);

   end;

   Ada.Text_IO.Put_Line("Archivo generado correctamente");

end Main;