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

inherit
  VTUPLE_EMITTER [G]
    redefine
       source, place
    end

creation {DLIST}
  make, make_cyclic

feature {ANY}

  source : DLIST [G]

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

end -- class DLIST_EMITTER [G]