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

   1 with Ada.Finalization;
   2
   3 generic
   4
   5    I : Integer;
   6
   7 package Controlled6_Pkg.Iterators is
   8
   9    type Iterator_Type is new Ada.Finalization.Controlled with record
  10       Current : Node_Access_Type;
  11    end record;
  12
  13    function Find return Iterator_Type;
  14
  15    function Current (Iterator : in Iterator_Type) return T;
  16    pragma Inline (Current);
  17
  18    procedure Find_Next (Iterator : in out Iterator_Type);
  19
  20    function Is_Null (Iterator : in Iterator_Type) return Boolean;
  21
  22 end Controlled6_Pkg.Iterators;