class EL_ZSTRING_EDITOR

(source code)

Client examples: PUBLISHER_CONSTANTS

Description

Edit strings of type EL_ZSTRING by applying an editing procedure to all occurrences of substrings that begin and end with a pair of delimiters.

See {EL_STRING_EDITOR}.delete_interior for an example of an editing procedure

note
	description: "[
		Edit strings of type [$source EL_ZSTRING] by applying an editing procedure to all
		occurrences of substrings that begin and end with a pair of delimiters.

		See `{[$source EL_STRING_EDITOR]}.delete_interior' for an example of an editing procedure
	]"

	author: "Finnian Reilly"
	copyright: "Copyright (c) 2001-2022 Finnian Reilly"
	contact: "finnian at eiffel hyphen loop dot com"

	license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
	date: "2022-11-15 19:56:05 GMT (Tuesday 15th November 2022)"
	revision: "4"

class
	EL_ZSTRING_EDITOR

inherit
	EL_STRING_EDITOR [ZSTRING]
		redefine
			append_character
		end

create
	make, make_empty

feature {NONE} -- Implementation

	append_character (string: ZSTRING; c: CHARACTER_32)
		do
			string.extend (c)
		end

	modify_target (str: ZSTRING)
		do
			target.share (str)
		end

	wipe_out (str: ZSTRING)
		do
			str.wipe_out
		end

end