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