class EL_UNICODE_PROPERTY

(source code)

description

Extensions to ISE class CHARACTER_PROPERTY

note
	description: "Extensions to ISE class ${CHARACTER_PROPERTY}"

	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: "3"

class
	EL_UNICODE_PROPERTY

inherit
	CHARACTER_PROPERTY

create
	make

feature -- Status query

	same_caseless (a, b: CHARACTER_32): BOOLEAN
		do
			if a = b then
				Result := True
			else
				Result := to_lower (a) = to_lower (b)
			end
		end
end