class interface KL_INTEGER_ROUTINES feature(s) from KL_SHARED_PLATFORM -- Access Platform: KL_PLATFORM -- Platform-dependent properties ensure platform_not_void: Result /= Void feature(s) from KL_INTEGER_ROUTINES -- 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 end of KL_INTEGER_ROUTINES