note
	description: "Routines that ought to be in class CHARACTER"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 2002-2018, Berend de Boer and others"
	license: "MIT License"
	date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $"
	revision: "$Revision: 102807 $"

class interface
	KL_CHARACTER_ROUTINES

create 
	default_create

feature -- Status report

	is_digit (c: CHARACTER_8): BOOLEAN
			-- Is c a digit?
			-- A digit is one of 0123456789
		ensure
			instance_free: class

	is_hex_digit (c: CHARACTER_8): BOOLEAN
			-- Is c a hexadecimal digit?
			-- A digit is one of 0123456789a-fA-f
		ensure
			instance_free: class
	
feature -- Access

	next (c: CHARACTER_8): CHARACTER_8
			-- Next character
		require
			c_small_enough: c.code < Platform.Maximum_character_code
		ensure
			instance_free: class
			definition: Result.code = c.code + 1

	previous (c: CHARACTER_8): CHARACTER_8
			-- Previous character
		require
			c_small_enough: c.code > Platform.Minimum_character_code
		ensure
			instance_free: class
			definition: Result.code = c.code - 1

	as_lower (c: CHARACTER_8): CHARACTER_8
			-- Lower-case version of character c

	as_upper (c: CHARACTER_8): CHARACTER_8
			-- Upper-case version of character c
	
end -- class KL_CHARACTER_ROUTINES

Generated by ISE EiffelStudio