class EL_ZSTRING_SPLIT_INTERVALS
EL_SPLIT_INTERVALS optimized for strings of type ZSTRING
note
description: "[
${EL_SPLIT_INTERVALS} optimized for strings of type ${ZSTRING}
]"
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: "2025-05-02 7:44:21 GMT (Friday 2nd May 2025)"
revision: "7"
class
EL_ZSTRING_SPLIT_INTERVALS
inherit
EL_SPLIT_INTERVALS
undefine
fill_by_string_general, make_by_string
end
EL_ZSTRING_OCCURRENCE_INTERVALS
undefine
extend_buffer
end
create
make, make_adjusted, make_empty, make_by_string, make_sized, make_from_special
end