deferred class
	EL_STRING_ESCAPER_IMP [S -> STRING_GENERAL create make end]

inherit
	ANY
	EL_STRING_BIT_COUNTABLE [S]

feature {NONE} -- Initialization

	make
		do
			create buffer.make (0)
		end

feature -- Conversion

	to_code (uc: CHARACTER_32): NATURAL
		do
			Result := uc.natural_32_code
		end

feature -- Access

	empty_buffer: like buffer
		deferred
		end

feature -- Status query

	is_escaped (escaper: EL_STRING_ESCAPER [S]; code: NATURAL): BOOLEAN
		do
			Result := escaper.has_code (code)
		end

feature -- Basic operations

	append_escape_sequence (escaper: EL_STRING_ESCAPER [S]; str: S; code: NATURAL)
		do
			str.append_code (escaper.escape_code)
			str.append_code (escaper.found_code)
		end

	prepend_character (str: S; uc: CHARACTER_32)
		deferred
		end

feature {NONE} -- Implementation

	to_unicode (code: NATURAL): NATURAL
		-- Useful for XML escaper
		do
			Result := code
		end

feature {NONE} -- Internal attributes

	buffer: S

end