3 with My_Env_Versioned_Value_Set_G;
4 package body Env_Compile_Capacity is
6 with package Env_Obj_Set_Instance is
7 new My_Env_Versioned_Value_Set_G(<>);
8 with function Updated_Entity (Value : Env_Obj_Set_Instance.Value_T)
10 with package Entity_Upd_Iteration is
11 new Env_Obj_Set_Instance.Update_G (Updated_Entity);
13 procedure Compile_G is begin null; end;
14 package My_Env_Aerodrome is
15 new My_Env_Versioned_Value_Set_G (Value_T => String);
16 function Updated_Entity (Id : in String) return Boolean is
17 begin return True; end;
18 package Iteration_Aerodrome_Arrival is
19 new My_Env_Aerodrome.Update_G (Updated_Entity);
20 procedure Aerodrome_Arrival is new Compile_G
21 (Env_Obj_Set_Instance => My_Env_Aerodrome,
22 Updated_Entity => Updated_Entity,
23 Entity_Upd_Iteration => Iteration_Aerodrome_Arrival);
24 end Env_Compile_Capacity;