1package body Complex_Types_App 2is 3 4 procedure Initialize (A : in out Complex_Types.Array_Type2) 5 is 6 begin 7 for I in Complex_Types.Array_Index 8 --# assert Complex_Types.Initialized (A, I); 9 loop 10 for J in Complex_Types.Array_Index 11 --# assert 12 --# Complex_Types.Initialized (A, I) and 13 --# Complex_Types.Initialized2 (A (I).Field1, J); 14 loop 15 for K in Complex_Types.Day 16 --# assert 17 --# Complex_Types.Initialized (A, I) and 18 --# Complex_Types.Initialized2 (A (I).Field1, J) and 19 --# Complex_Types.Initialized3 20 --# (A (I).Field1, J, Complex_Types.Day'Pos (K)); 21 loop 22 A (I).Field1 (J, K) := 0; 23 end loop; 24 end loop; 25 A (I).Field2 := 0; 26 end loop; 27 end Initialize; 28 29end Complex_Types_App; 30