gcc/testsuite/gnat.dg/overriding_ops_p.ads

   1 package overriding_ops_p is
   2    subtype Name_Type is String (1 .. 30);
   3    type Device is synchronized interface;
   4    --  Base type of devices
   5    procedure Set_Name (Object : in out Device; Name : Name_Type)
   6      is abstract;
   7    --  Set the name of the Device
   8 end overriding_ops_p;