Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      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

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002, Berend de Boer and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/09/24 07:21:47 $

revision

$Revision: 1.4 $

class

KL_CHARACTER_ROUTINES

inherit

KL_SHARED_PLATFORM

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 -- 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)

end