blob: e6f3c7021022c94b7a23b32393ab985445fe0c41 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
with Ada.Finalization;
package Loop_Optimization8_Pkg1 is
type Array_T is array (Positive range <>) of Natural;
type Array_Access_T is access Array_T;
type T is new Ada.Finalization.Controlled with record
Last : Natural := 0;
Elements : Array_Access_T;
end record;
Empty : T := (Ada.Finalization.Controlled with Last => 0, Elements => null);
generic
with procedure Action (Info : Natural);
procedure Iter;
end Loop_Optimization8_Pkg1;
|
