note
	description: "[
		Helper functions to provide property of a Unicode character of type CHARACTER_32.
		This includes finding out if a character is lower, upper, title case, or if it is a digit,
		a punctuation, a control or a space character.
	]"
	generator: "Unicode Helper Generator 1.3"
	unicode_version: "13.0.0"
	date: "$Date: 2020-05-20 08:12:34 +0000 (Wed, 20 May 2020) $"
	revision: "$Revision: 104294 $"

class interface
	CHARACTER_PROPERTY

create 
	make

feature -- Status report

	is_alpha (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char an alphabetic character?
		ensure
			definition: Result = (is_lower (a_char) or is_upper (a_char))

	is_lower (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a lower character?

	is_upper (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char an upper character?

	is_title (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a title character?

	is_digit (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a digit character?

	is_punctuation (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a punctuation character?

	is_control (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a control character?

	is_hexa_digit (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char an hexadecimal character?

	is_space (a_char: CHARACTER_32): BOOLEAN
			-- Is a_char a space character?
	
feature -- Constants

	Max_ascii_value: NATURAL_32 = 127

	Max_latin1_value: NATURAL_32 = 255

	Max_unicode_value: NATURAL_32 = 1114111
			-- Various maximal value for character range.
	
feature -- Conversion

	to_lower (a_char: CHARACTER_32): CHARACTER_32
			-- Convert a_char to lower case.

	to_upper (a_char: CHARACTER_32): CHARACTER_32
			-- Convert a_char to upper case.

	to_title (a_char: CHARACTER_32): CHARACTER_32
			-- Convert a_char to title case.
	
note
	copyright: "Copyright (c) 1984-2018, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
		Eiffel Software
		5949 Hollister Ave., Goleta, CA 93117 USA
		Telephone 805-685-1006, Fax 805-685-6869
		Website http://www.eiffel.com
		Customer support http://support.eiffel.com
	]"

end -- class CHARACTER_PROPERTY

Generated by ISE EiffelStudio