indexing
	description: "Routines that ought to be in class INTEGER"
	library: "Gobo Eiffel Kernel Library"
	author: "Eric Bezault <ericb@gobo.demon.co.uk>"
	copyright: "Copyright (c) 1998, Eric Bezault"

class interface
	KL_INTEGER_ROUTINES

feature -- Access

	platform: KL_PLATFORM
			-- Platform-dependent properties
			-- (from KL_SHARED_PLATFORM)
		ensure -- from KL_SHARED_PLATFORM
			platform_not_void: Result /= void
	
feature -- Conversion

	to_character (an_int: INTEGER): CHARACTER
			-- Character whose ASCII code is an_int
		require
			a_int_large_enough: an_int >= platform.minimum_character_code;
			a_int_small_enough: an_int <= platform.maximum_character_code
		ensure
			valid_character_code: Result.code = an_int
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class KL_INTEGER_ROUTINES