elogger API
Overview Classes Cluster Class Index          Top Features
kernel.spec.ise

Class KL_CHARACTER_ROUTINES

Direct ancestors

KL_SHARED_PLATFORM

Features

Invariants

indexing

description

Routines that ought to be in class CHARACTER_8

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002, Berend de Boer and others

license

Eiffel Forum License v2 (see forum.txt)

class KL_CHARACTER_ROUTINES

inherit

KL_SHARED_PLATFORM
KL_ANY

feature -- Access

Platform: KL_PLATFORM

-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)

ensure

platform_not_void: Result /= Void

as_lower (c: CHARACTER): CHARACTER

-- Lower-case version of character c

as_upper (c: CHARACTER): CHARACTER

-- Upper-case version of character c

(c: CHARACTER): CHARACTER

-- Next character

require

c_small_enough: c.code < Platform.Maximum_character_code

ensure

definition: Result.code = c.code + 1

(c: CHARACTER): CHARACTER

-- Previous character

require

c_small_enough: c.code > Platform.Minimum_character_code

ensure

definition: Result.code = c.code - 1

feature -- Status report

is_digit (c: CHARACTER): BOOLEAN

-- Is c a digit?
-- A digit is one of 0123456789

feature -- Obsolete

platform_: KL_PLATFORM

-- Platform-dependent properties
-- (From KL_SHARED_PLATFORM)

obsolete

[040101] Use Platform instead.

ensure

platform_not_void: Result /= Void

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

Documentation generated by edoc

elogger API
Overview Classes Cluster Class Index          Top Features