note description: "Routines for cased variants of Unicode 5.1.0 characters" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2008-2018, Colin Adams and others" license: "MIT License" date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $" revision: "$Revision: 102807 $" class interface UC_V510_CTYPE create default_create feature -- Status report valid_code (a_code: INTEGER_32): BOOLEAN -- Is a_code a valid unicode? ensure instance_free: class definition: Result = (a_code >= Minimum_unicode_character_code and a_code <= Maximum_unicode_character_code) feature -- Access lower_code (a_code_point: INTEGER_32): INTEGER_32 -- Code of lower-case character of character with code a_code_point require valid_code: valid_code (a_code_point) ensure instance_free: class valid_lower_code: valid_code (Result) upper_code (a_code_point: INTEGER_32): INTEGER_32 -- Code of upper-case character of character with code a_code_point require valid_code: valid_code (a_code_point) ensure instance_free: class valid_upper_code: valid_code (Result) title_code (a_code_point: INTEGER_32): INTEGER_32 -- Code of title-case character of character with code a_code_point require valid_code: valid_code (a_code_point) ensure instance_free: class valid_title_code: valid_code (Result) end -- class UC_V510_CTYPE
Generated by ISE EiffelStudio