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