with Text_IO; use Text_IO;

package body ASN1_Iterators.Generic_Enumerated is

   function Elem_Init return Sort is
   begin
      Put_Line ("Elem_Init ");
      Is_Last := (Sort'First = Sort'Last);
      return Sort'First;
   end Elem_Init;

   function Has_Elem (Value: Sort) return Boolean is
      Result : constant Boolean := (not Is_Last and Value <= Sort'Last);
   begin
      Put_Line ("Value: " & Value'Img & " Has_Elem = " & Result'Img);
      if Value = Sort'Last then
         Is_Last := True;
      end if;
      return Result;
   end Has_Elem;
end;