File : int32_io.adb

   1 -- Fichier INT32_IO.ADA
   2 -- Package d'entrées-sorties pour les entiers de 32 bits et de 16 bits.
   3 
   4 with Text_Io;
   5 
   6 package body Int32_Io is
   7    package Int32io is new Text_Io.Integer_Io(Int32);
   8 
   9    procedure Put(Item : in Int32; Width : in Natural := 0) is
  10    begin
  11       Int32io.Put(Item, Width);
  12    end Put;
  13 
  14    procedure Put(Item : in Integer; Width : in Natural := 0) is
  15    begin
  16       Int32io.Put(Int32(Item), Width);
  17    end Put;
  18 
  19 end Int32_Io