class EL_STRING_TO_CHARACTER_8

(source code)

description

Convert READABLE_STRING_GENERAL to type CHARACTER_8

note
	description: "Convert ${READABLE_STRING_GENERAL} to type ${CHARACTER_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-01-20 19:18:24 GMT (Saturday 20th January 2024)"
	revision: "7"

class
	EL_STRING_TO_CHARACTER_8

inherit
	EL_READABLE_STRING_GENERAL_TO_TYPE [CHARACTER_8]
		redefine
			is_convertible
		end

create
	make

feature -- Contract Support

	is_convertible (str: READABLE_STRING_GENERAL): BOOLEAN
		-- `True' if `str' is convertible to type `CHARACTER_8'
		do
			Result := str.count = 1 and then str.code (1) <= 0xFF
		end

feature -- Basic operations

	put_tuple_item (a_tuple: TUPLE; value: CHARACTER_8; index: INTEGER)
		-- put `value' at `index' position in `a_tuple'
		do
			a_tuple.put_character (value, index)
		end

feature -- Conversion

	as_type (str: READABLE_STRING_GENERAL): CHARACTER_8
		do
			if str.count >= 1 then
				Result := str [1].to_character_8
			end
		end

	substring_as_type (str: READABLE_STRING_GENERAL; start_index, end_index: INTEGER): CHARACTER_8
		require else
			same_indices: start_index = end_index
		do
			if str.valid_index (start_index) then
				Result := str.item (start_index).to_character_8
			end
		end

end