25 lines
957 B
Ada
25 lines
957 B
Ada
-- { dg-do compile }
|
|
|
|
with My_Env_Versioned_Value_Set_G;
|
|
package body Env_Compile_Capacity is
|
|
generic
|
|
with package Env_Obj_Set_Instance is
|
|
new My_Env_Versioned_Value_Set_G(<>);
|
|
with function Updated_Entity (Value : Env_Obj_Set_Instance.Value_T)
|
|
return Boolean is <>;
|
|
with package Entity_Upd_Iteration is
|
|
new Env_Obj_Set_Instance.Update_G (Updated_Entity);
|
|
procedure Compile_G;
|
|
procedure Compile_G is begin null; end;
|
|
package My_Env_Aerodrome is
|
|
new My_Env_Versioned_Value_Set_G (Value_T => String);
|
|
function Updated_Entity (Id : in String) return Boolean is
|
|
begin return True; end;
|
|
package Iteration_Aerodrome_Arrival is
|
|
new My_Env_Aerodrome.Update_G (Updated_Entity);
|
|
procedure Aerodrome_Arrival is new Compile_G
|
|
(Env_Obj_Set_Instance => My_Env_Aerodrome,
|
|
Updated_Entity => Updated_Entity,
|
|
Entity_Upd_Iteration => Iteration_Aerodrome_Arrival);
|
|
end Env_Compile_Capacity;
|