class EL_ZSTRING_EDITOR
Client examples: PUBLISHER_CONSTANTS
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