File : infos.adb

   1 -- Fichier INFOS.ADA
   2 -- Pour afficher des statistiques en cours de fonctionnement.
   3 
   4 with Text_Io; use Text_Io;
   5 with Int32_Io; use Int32_Io;
   6 
   7 procedure Infos(Texte : String; Taille, Courant, Courant_Max, Max, Mem : Int32) is
   8 begin
   9    Put("| "); Put(Texte); Set_Col(38); Put('|');
  10    Put(Taille, 7); Put('|');
  11    if Courant = -1 then Put("........"); else Put(Courant, 8); end if; Put('|');
  12    if Courant_Max = -1 then Put("......."); else Put(Courant_Max, 7); end if; Put('|');
  13    Put(Max, 6); Put('|');
  14    Put(Max * Taille, 7); Put('|'); New_Line;
  15 end Infos