deferred class
	EL_EXTENDED_READABLE_STRING_8

inherit
	EL_EXTENDED_READABLE_STRING_8_I

	EL_EXTENDED_READABLE_STRING [CHARACTER_8]
		rename
			READABLE_X as READABLE_8
		undefine
			convertible_to_char
		redefine
			target
		end

feature -- Measurement

	index_of (c: CHARACTER_8; start_index: INTEGER): INTEGER
		-- Position of first occurrence of `c' at or after `start_index', 0 if none.
		do
			Result := target.index_of (c, start_index)
		end

	last_index_of (c: CHARACTER_8; start_index_from_end: INTEGER): INTEGER
		-- Position of last occurrence of `c', 0 if none.
		do
			Result := target.last_index_of (c, start_index_from_end)
		end

feature -- Status query

	ends_with (leading: READABLE_STRING_8): BOOLEAN
		do
			Result := target.ends_with (leading)
		end

	has_substring (other: READABLE_STRING_GENERAL): BOOLEAN
		do
			Result := target.has_substring (other)
		end

	starts_with (leading: READABLE_STRING_8): BOOLEAN
		do
			Result := target.starts_with (leading)
		end

feature {NONE} -- Implementation

	target: READABLE_STRING_8
		deferred
		end

end