(root)/
gcc-13.2.0/
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;