deferred class GBN_ITERATOR [G]
         -- iterator in the Goban library

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 GBN_ITERATOR [G]