class
	EL_SPLIT_ON_CHARACTER_8_CURSOR [S -> READABLE_STRING_8]

inherit
	EL_SPLIT_ON_CHARACTER_CURSOR [S]
		redefine
			is_white_space, same_caseless_characters, same_characters, set_separator_start
		end

create
	make

feature {NONE} -- Implementation

	is_white_space (a_target: like target; i: INTEGER): BOOLEAN
		do
			Result := a_target [i].is_space
		end

 	same_caseless_characters (a_target, other: like target; start_pos, end_pos, index_pos: INTEGER): BOOLEAN
			-- Are characters of `other' within bounds `start_pos' and `end_pos'
			-- caseless identical to characters of current string starting at index `index_pos'.
		do
			Result := a_target.same_caseless_characters (other, start_pos, end_pos, index_pos)
		end

 	same_characters (a_target, other: like target; start_pos, end_pos, index_pos: INTEGER): BOOLEAN
			-- Are characters of `other' within bounds `start_pos' and `end_pos'
			-- identical to characters of current string starting at index `index_pos'.
		do
			Result := a_target.same_characters (other, start_pos, end_pos, index_pos)
		end

	set_separator_start
		do
			if separator.is_character_8 then
				separator_start := target.index_of (separator.to_character_8, separator_end + 1)
			else
				separator_start := 0
			end
		end

end