1 package test_image_p
is
2 type type1
is tagged private;
3 type type3
is limited private;
4 type type5
is tagged limited private;
5 type a_type5_class
is access all type5
'Class;
6 task type task_t
(arg
: access type3
) is
9 function to_type1
(arg1
: in Integer) return type1
;
11 type array_t
is array (Positive range <>) of type1
;
12 type array_t2
is array (1 .. 3) of Boolean;
13 type type1
is tagged record
16 type type3
is limited record
17 the_task
: aliased task_t
(type3
'Access);
18 the_array
: array_t
(1 .. 10) := (others => to_type1
(-1));
20 type type5
is tagged limited record