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