deferred class
	EL_TEXT_FILE_ITERATION_CURSOR [S -> STRING_GENERAL]

inherit
	ITERATION_CURSOR [S]

feature {NONE} -- Initialization

	make (a_file: EL_PLAIN_TEXT_FILE)
		require
			exists: a_file.exists
			valid_state: a_file.is_open_read or a_file.is_closed
		do
			file := a_file
			if a_file.is_closed then
				a_file.open_read
			end
			forth
		end

feature -- Access

	item: like shared_item
		do
			Result := shared_item.twin
		end

	shared_item: S
		deferred
		end

feature -- Status query

	after: BOOLEAN

feature -- Basic operations

	forth
		do
			file.read_line
			if file.end_of_file then
				after := True
				file.close
			end
		end

feature {NONE} -- Internal attributes

	file: EL_PLAIN_TEXT_FILE
end