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