overriding_ops.ads

来自「用于进行gcc测试」· ADS 代码 · 共 13 行

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;