deferred class
	EL_PATTERN_SEARCHING_EIFFEL_SOURCE_EDITOR

inherit
	EL_EIFFEL_SOURCE_EDITOR
		rename
			set_file_path as set_source_path
		undefine
			make_default
		end

	EL_FILE_PARSER_TEXT_EDITOR
		rename
			file_path as source_path,
			set_file_path as set_source_path,
			set_source_text as set_zstring_source_text
		undefine
			is_bom_enabled
		redefine
			make_default, set_source_path
		end

	TP_EIFFEL_FACTORY

	EL_MODULE_FILE

feature {NONE} -- Initialization

	make_default
			--
		do
			Precursor {EL_FILE_PARSER_TEXT_EDITOR}
			create source_text.make_empty
		end

feature -- Element Change

		set_source_path (a_source_path: FILE_PATH)
		do
			source_path := a_source_path
			set_source_text (File.plain_text (a_source_path))
		end

	set_source_text (a_source_text: STRING)
		local
			l_text: ZSTRING
		do
			if a_source_text.starts_with ({UTF_CONVERTER}.Utf_8_bom_to_string_8) then
				create l_text.make_from_utf_8 (a_source_text)
				set_utf_encoding (8)
			else
				create l_text.make_from_general (a_source_text)
				set_latin_encoding (1)
			end
			set_zstring_source_text (l_text)
		end

feature {NONE} -- Patterns

	delimiting_pattern: TP_PATTERN
			--
		local
			extra_search_patterns: ARRAYED_LIST [TP_PATTERN]
		do
			create extra_search_patterns.make_from_array (search_patterns.to_array)
			Result := one_of (extra_search_patterns.to_array)
		end

	search_patterns: ARRAYED_LIST [TP_PATTERN]
		deferred
		end

	unmatched_identifier_plus_white_space: like all_of
			-- pattern used to skip over identifiers or keywords we are not interested in
		do
			Result := all_of (<<
				identifier, optional (character_literal (':')), white_space
			>>) |to| agent on_unmatched_text
		end
end