Automatic generation produced by ISE Eiffel
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" date: "$Date: 2013-05-20 16:15:17 -0700 (Mon, 20 May 2013) $" revision: "$Revision: 92557 $" 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-2012, 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 Eiffel --
For more details: www.eiffel.com