Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.unicode

Class UC_UNICODE_CONSTANTS


Direct ancestors

KL_SHARED_PLATFORM

Known direct descendants

UC_CTYPE, UC_V410_CTYPE, UC_CHARACTER_CLASS_INTERFACE

Features

Invariants

indexing

description

Unicode constants

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/10/21 08:31:48 $

revision

$Revision: 1.4 $

class

UC_UNICODE_CONSTANTS

inherit

KL_SHARED_PLATFORM

feature -- Access

close_punctuation_category: INTEGER

-- Close punctuation

connector_punctuation_category: INTEGER

-- Connector punctuation

control_other_category: INTEGER

-- Control character

currency_symbol_category: INTEGER

-- Currency symbol

dash_punctuation_category: INTEGER

-- Dash punctuation

decimal_digit_number_category: INTEGER

-- Decimal digit number

enclosing_mark_category: INTEGER

-- Enclosing mark

final_quote_punctuation_category: INTEGER

-- Final_quote punctuation

format_other_category: INTEGER

-- Format character

initial_quote_punctuation_category: INTEGER

-- Initial punctuation

letter_number_category: INTEGER

-- Letter number

line_separator_category: INTEGER

-- Line separator

lowercase_letter_category: INTEGER

-- Lower case letter

math_symbol_category: INTEGER

-- Mathematics symbol

modifier_letter_category: INTEGER

-- Modifier letter

modifier_symbol_category: INTEGER

-- Modifier symbol

non_spacing_mark_category: INTEGER

-- Non-spacing mark

open_punctuation_category: INTEGER

-- Open punctuation

other_letter_category: INTEGER

-- Other letter

other_number_category: INTEGER

-- Other number

other_punctuation_category: INTEGER

-- Other punctuation

other_symbol_category: INTEGER

-- Other symbol

paragraph_separator_category: INTEGER

-- Paragraph separator

platform: KL_PLATFORM

-- Platform-dependent properties

-- (From KL_SHARED_PLATFORM)

ensure
platform_not_void: Result /= Void
private_other_category: INTEGER

-- Private-use character

space_separator_category: INTEGER

-- Space separator

spacing_combining_mark_category: INTEGER

-- Spacing combining mark

surrogate_other_category: INTEGER

-- Surrogate character

titlecase_letter_category: INTEGER

-- Title case letter

unassigned_other_category: INTEGER

-- Unassigned chacaracter

uppercase_letter_category: INTEGER

-- Upper case letter

maximum_ascii_character: CHARACTER

-- Largest ASCII character
-- ensure
-- definition: Result.code = maximum_ascii_code
-- end

maximum_ascii_character_code: INTEGER

-- Largest code for ASCII characters
-- (2^7 - 1)
-- ensure
-- definition: Result = 127
-- small_enough: Result <= Platform.Maximum_byte_code
-- end

maximum_unicode_character_code: INTEGER

-- Largest code for unicode characters
-- ensure
-- definition: Result = 1114109
-- end

minimum_ascii_character: CHARACTER

-- Smallest ASCII character
-- ensure
-- definition: Result.code = minimum_ascii_code
-- end

minimum_ascii_character_code: INTEGER

-- Smallest code for ASCII characters
-- ensure
-- definition: Result = 0
-- end

minimum_unicode_character_code: INTEGER

-- Smallest code for unicode characters
-- ensure
-- definition: Result = 0
-- end

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