24 lines
744 B
Ada
24 lines
744 B
Ada
package test_image_p is
|
|
type type1 is tagged private;
|
|
type type3 is limited private;
|
|
type type5 is tagged limited private;
|
|
type a_type5_class is access all type5'Class;
|
|
task type task_t (arg : access type3) is
|
|
entry entry1;
|
|
end task_t;
|
|
function to_type1 (arg1 : in Integer) return type1;
|
|
private
|
|
type array_t is array (Positive range <>) of type1;
|
|
type array_t2 is array (1 .. 3) of Boolean;
|
|
type type1 is tagged record
|
|
f2 : array_t2;
|
|
end record;
|
|
type type3 is limited record
|
|
the_task : aliased task_t (type3'Access);
|
|
the_array : array_t (1 .. 10) := (others => to_type1 (-1));
|
|
end record;
|
|
type type5 is tagged limited record
|
|
f3 : type3;
|
|
end record;
|
|
end;
|