class GBN_DLIST_ITERATOR [G]
  -- descendent of GBN_TUPLE_ITERATOR, only to allow the
  -- types of vtuple and place to be set correctly.

inherit
  GBN_TUPLE_ITERATOR [G]
    redefine
       source, place
    end

creation {GBN_DLIST}
  make, make_cyclic

feature {ANY}

  source : GBN_DLIST [G]

  place : GBN_DLIST_PLACE [G] is
    do
      Result := cursor
    end

end -- class GBN_DLIST_ITERATOR [G]