Deferred class EMITTER [G]
-- This class in reality defines iterators, but that word has a
-- different meaning in the Eiffel standard library classes.

feature {ANY}

  finished: BOOLEAN is
    deferred
    end
  
  forth is
    require
      unfinished: not finished
    deferred
    end
  
  stop is
    -- Terminate the iteration, logging off the protected object
    require
      unfinished : not finished
    deferred
    ensure
      finished: finished
    end
  
  item : G is 
    require
      unfinished: not finished
    deferred
    end

-- The container presumably contains objects of type G, which
-- are produced in some order by the iteration process.

End -- Deferred class EMITTER [G]