gcc/testsuite/gnat.dg/overriding_ops.ads

with overriding_ops_p; use overriding_ops_p;
package overriding_ops is
   task type Light_Programmer is new Device with
      overriding entry Set_Name (Name : Name_Type);
   end Light_Programmer;
   --  Object that represents a light 
   protected type Light is new Device with
      overriding procedure Set_Name (Name : Name_Type);
   private 
      L_Name : Name_Type;
   end Light;
end overriding_ops;