-------------------------------------------------------------------------------
--                                                                           --
--             M A L E F - P L A T F O R M - I M A G E S . A D S             --
--                                                                           --
--                                 M A L E F                                 --
--                                                                           --
--                              A D A   S P E C                              --
--                                                                           --
-------------------------------------------------------------------------------
--  Copyright (c) 2021-2024 José Antonio Verde Jiménez  All Rights Reserved  --
-------------------------------------------------------------------------------
-- This file is part of Malef.                                               --
--                                                                           --
-- This program is free software:  you  can redistribute it and/or modify it --
-- under  the terms  of the  GNU  General License  as published by the  Free --
-- Software  Foundation,  either  version 3  of  the  License,  or  (at your --
-- opinion) any later version.                                               --
--                                                                           --
-- This  program  is distributed  in the  hope that  it will be  useful, but --
-- WITHOUT   ANY   WARRANTY;   without   even  the   implied   warranty   of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General --
-- Public License for more details.                                          --
--                                                                           --
-- You should have received  a copy of the  GNU General Public License along --
-- with this program. If not, see <https://www.gnu.org/licenses/>.           --
--                                                                           --
-------------------------------------------------------------------------------

package Malef.Platform.Images is

   subtype Digit is Character range '0' .. '9';

   function Image (
      Row : in Row_Type)
      return String with
      Pre      => Row >= 0,
      Post     => Image'Result'Length = 5
         and then (for all C of Image'Result => C in Digit),
      Inline   => True,
      Global   => null;

   function Image (
      Col : in Col_Type)
      return String with
      Pre      => Col >= 0,
      Post     => Image'Result'Length = 5
         and then (for all C of Image'Result => C in Digit),
      Inline   => True,
      Global   => null;

   function Image (
      Component : in Component_Type)
      return String with
      Pre      => Component >= 0,
      Post     => Image'Result'Length = 3
         and then (for all C of Image'Result => C in Digit),
      Inline   => True,
      Global   => null;

end Malef.Platform.Images;
