class EL_STRING_8_CONSTANTS

(source code)

Client examples: CLASS_DESCENDANTS_APP ;  CONDITION_ECF_LINE ;  DATA_DIGESTS_TEST_SET ;  DJ_EVENTS_HTML_INDEX ;  ECF_CONSTANTS ;  ECF_INFO ;  FILE_MANIFEST_TEST_SET ;  GITHUB_MANAGER_SHELL_COMMAND ;  HASH_SET_TEST_SET ;  HASH_TABLE_TEST_SET ;  HTML_TEXT_ELEMENT_LIST ;  ID3_CODE_CLASS ;  ID3_TAG_INFO_TEST_SET ;  JSON_PARSING_TEST_SET ;  PATTERN_MATCH_TEST_SET ;  REPOSITORY_SOURCE_LINK_EXPANDER_APP ;  SPLIT_STRING_TEST_SET ;  STRING_BENCHMARK_COMPARISON ;  THUNDERBIRD_EQA_TEST_SET ;  UPDATE_COMMENTS_WITH_ALBUM_ARTISTS_TASK

note
	description: "Constants related to class ${STRING_8}"

	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: "2024-08-20 13:01:41 GMT (Tuesday 20th August 2024)"
	revision: "24"

deferred class
	EL_STRING_8_CONSTANTS

inherit
	EL_ANY_SHARED

feature {NONE} -- Constants

	Comma_space: STRING = ", "

	EL_string_8: EL_STRING_8
		-- provides access to unexported attributes and constants
		once
			create Result.make_empty
		end

	Empty_string_8: STRING = ""

	String_8_searcher: STRING_8_SEARCHER
		once
			Result := EL_string_8.String_searcher
		end

invariant
	string_8_always_empty: Empty_string_8.is_empty
end