1           {*******************************************************}
2                               {FDL Declarations}
3    {Examiner Pro Edition, Version 9.1.0, Build Date 20101119, Build 19039}
4             {Copyright (C) 2010 Altran Praxis Limited, Bath, U.K.}
5           {*******************************************************}
6
7
8                        {DATE : 22-SEP-2011 11:10:52.42}
9
10                   {procedure Complex_Types_App.Initialize}
11
12
13title procedure initialize;
14
15  function round__(real) : integer;
16  type complex_types__day = (complex_types__mon, 
17     complex_types__tue, complex_types__wed, complex_types__thu, 
18     complex_types__fri, complex_types__sat, complex_types__sun);
19  type complex_types__array_type1 = array [integer,
20     complex_types__day] of integer;
21  type complex_types__record_type = record
22        field1 : complex_types__array_type1;
23        field2 : integer
24     end;
25  type complex_types__array_type2 = array [integer] of 
26     complex_types__record_type;
27  const complex_types__array_index__base__first : integer = pending; 
28  const complex_types__array_index__base__last : integer = pending; 
29  const complex_types__day__base__first : complex_types__day = pending; 
30  const complex_types__day__base__last : complex_types__day = pending; 
31  const integer__base__first : integer = pending; 
32  const integer__base__last : integer = pending; 
33  const complex_types__record_type__size : integer = pending; 
34  const complex_types__array_index__first : integer = pending; 
35  const complex_types__array_index__last : integer = pending; 
36  const complex_types__array_index__size : integer = pending; 
37  const complex_types__day__first : complex_types__day = pending; 
38  const complex_types__day__last : complex_types__day = pending; 
39  function complex_types__day__pos(complex_types__day) : integer;
40  const complex_types__day__size : integer = pending; 
41  const integer__first : integer = pending; 
42  const integer__last : integer = pending; 
43  const integer__size : integer = pending; 
44  var a : complex_types__array_type2;
45  var loop__1__i : integer;
46  var loop__2__j : integer;
47  var loop__3__k : complex_types__day;
48  function complex_types__initialized(complex_types__array_type2, integer) : boolean;
49  function complex_types__initialized2(complex_types__array_type1, integer) : boolean;
50  function complex_types__initialized3(complex_types__array_type1, integer, integer) : boolean;
51
52end;
53