elogger API
Overview Classes Cluster Class Index          Top Features

ise.base.kernel

Class CHARACTER_32_REF


Direct ancestors

COMPARABLE, HASHABLE, REFACTORING_HELPER

Features

Invariants

indexing

description

References to objects containing a unicode character value

legal

See notice at end of class.

status

See notice at end of class.

class CHARACTER_32_REF

inherit

COMPARABLE
PART_COMPARABLE
HASHABLE
REFACTORING_HELPER

feature -- Access

code: INTEGER

-- Associated integer value and hash code value

hash_code: INTEGER

-- Associated integer value and hash code value
-- (From HASHABLE)

ensure

good_hash_value: Result >= 0

item: WIDE_CHARACTER

-- Unicde character value

Max_value: NATURAL_32

-- Bounds for integer representation of CHARACTER_32

Min_value: NATURAL_32

natural_32_code: NATURAL_32

-- Associated integer value

feature -- Comparison

infix "<=" (other: like Current): BOOLEAN

-- Is current object less than or equal to other?
-- (From PART_COMPARABLE)

require

other_exists: other /= Void

ensure then

definition: Result = ((Current < other) or is_equal (other))

infix ">" (other: like Current): BOOLEAN

-- Is current object greater than other?
-- (From PART_COMPARABLE)

require

other_exists: other /= Void

ensure then

definition: Result = (other < Current)

infix ">=" (other: like Current): BOOLEAN

-- Is current object greater than or equal to other?
-- (From PART_COMPARABLE)

require

other_exists: other /= Void

ensure then

definition: Result = (other <= Current)

max (other: like Current): like Current

-- The greater of current object and other
-- (From COMPARABLE)

require

other_exists: other /= Void

ensure

current_if_not_smaller: Current >= other implies Result = Current
other_if_smaller: Current < other implies Result = other

min (other: like Current): like Current

-- The smaller of current object and other
-- (From COMPARABLE)

require

other_exists: other /= Void

ensure

current_if_not_greater: Current <= other implies Result = Current
other_if_greater: Current > other implies Result = other

three_way_comparison (other: like Current): INTEGER

-- If current object equal to other, 0;
-- if smaller, -1; if greater, 1
-- (From COMPARABLE)

require

other_exists: other /= Void

ensure

equal_zero: (Result = 0) = is_equal (other)
smaller_negative: (Result = -1) = (Current < other)
greater_positive: (Result = 1) = (Current > other)

infix "<" (other: like Current): BOOLEAN

-- Is other greater than current character?
-- (From PART_COMPARABLE)

require

other_exists: other /= Void

ensure then

asymmetric: Result implies not (other < Current)

is_equal (other: like Current): BOOLEAN

-- Is other attached to an object of the same type
-- as current object and identical to it?
-- (From ANY)

require

other_not_void: other /= Void

ensure

symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result

ensure then

trichotomy: Result = (not (Current < other) and not (other < Current))

feature -- Status report

is_character_8: BOOLEAN

-- Can current be represented on a CHARACTER_8?

is_hashable: BOOLEAN

-- May current object be hashed?
-- (From HASHABLE)

ensure

ok_if_not_default: Result implies (Current /= default)

is_space: BOOLEAN

-- Is item a white space?

require

is_character_8_compatible: is_character_8

feature -- Element change

set_item (c: WIDE_CHARACTER)

-- Make c the item value.

feature -- Conversion

as_lower: WIDE_CHARACTER

-- Lowercase value of item
-- Returns item if not is_upper

require

is_character_8_compatible: is_character_8

as_upper: WIDE_CHARACTER

-- Uppercase value of item
-- Returns item if not is_lower

require

is_character_8_compatible: is_character_8

lower: WIDE_CHARACTER

-- Lowercase value of item
-- Returns item if not is_upper

require

is_character_8_compatible: is_character_8

to_character_32: WIDE_CHARACTER

-- Convert current to CHARACTER_32

to_character_8: CHARACTER

-- Convert current to CHARACTER_8

require

is_character_8_compatible: is_character_8

to_reference: WIDE_CHARACTER_REF

-- Associated reference of Current

ensure

to_reference_not_void: Result /= Void

upper: WIDE_CHARACTER

-- Uppercase value of item
-- Returns item if not is_lower

require

is_character_8_compatible: is_character_8

feature -- Markers

fixme (comment: STRING)

-- Mark code that has to be "fixed" with comment.
-- (From REFACTORING_HELPER)

require

comment_not_void: comment /= Void

to_implement (comment: STRING)

-- Mark code that has to be "implemented" with comment.
-- (From REFACTORING_HELPER)

require

comment_not_void: comment /= Void

to_implement_assertion (comment: STRING): BOOLEAN

-- Mark assertion that has to be "implemented" with comment.
-- (From REFACTORING_HELPER)

require

comment_not_void: comment /= Void

feature -- Output

out: STRING

-- Printable representation of wide character
-- (From ANY)

invariant

-- From COMPARABLE
irreflexive_comparison: not (Current < Current)

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

indexing

library

EiffelBase: Library of reusable components for Eiffel.

copyright

Copyright (c) 1984-2006, Eiffel Software and others

license

Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)

source

Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com


Documentation generated by edoc