gcc/testsuite/gnat.dg/prefix2.adb

   1 --  { dg-do compile }
   2
   3     package body prefix2 is
   4        procedure Positionne (Objet : in out Instance; X, Y :  Coordonnee) is
   5        begin
   6           Objet.X := X;
   7           Objet.Y := Y;
   8        end Positionne;
   9        function RetourneX (Objet : in Instance) return Coordonnee is
  10        begin
  11           return Objet.X;
  12        end RetourneX;
  13        function RetourneY (Objet : in Instance) return Coordonnee is
  14        begin
  15           return Objet.Y;
  16        end RetourneY;
  17        procedure Affiche (Objet : in Class; EstVisible : Boolean) is
  18        begin
  19           if EstVisible then
  20              Objet.Allume;
  21           else
  22              Objet.Eteins;
  23           end if;
  24        end Affiche;
  25        procedure Deplace (Objet : in out Class; DX, DY : Coordonnee) is
  26        begin
  27           Objet.Affiche (False);  -- erreur
  28           Objet.Positionne (Objet.X + DX, Objet.Y + DY);
  29           Objet.Affiche (True);   -- erreur
  30        end Deplace;
  31     end prefix2;