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