gcc/testsuite/gnat.dg/overriding_ops.ads

   1 with overriding_ops_p; use overriding_ops_p;
   2 package overriding_ops is
   3    task type Light_Programmer is new Device with
   4       overriding entry Set_Name (Name : Name_Type);
   5    end Light_Programmer;
   6    --  Object that represents a light
   7    protected type Light is new Device with
   8       overriding procedure Set_Name (Name : Name_Type);
   9    private
  10       L_Name : Name_Type;
  11    end Light;
  12 end overriding_ops;