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