overriding_ops_p.ads

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

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