gcc-4.9/gcc/testsuite/gnat.dg/controlled6_pkg-iterators.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

with Ada.Finalization;

generic

   I : Integer;

package Controlled6_Pkg.Iterators is

   type Iterator_Type is new Ada.Finalization.Controlled with record
      Current : Node_Access_Type;
   end record;

   function Find return Iterator_Type;

   function Current (Iterator : in Iterator_Type) return T;
   pragma Inline (Current);

   procedure Find_Next (Iterator : in out Iterator_Type);

   function Is_Null (Iterator : in Iterator_Type) return Boolean;

end Controlled6_Pkg.Iterators;