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

kernel.unicode

Class UC_CHARACTER_CLASS_INTERFACE


Direct ancestors

UC_UNICODE_CONSTANTS, KL_IMPORTED_INTEGER_ROUTINES

Known direct descendants

UC_CHARACTER_CLASS_ROUTINES, UC_V410_CHARACTER_CLASS_ROUTINES

Features

Invariants

indexing

description

Routines for determining class of Unicode characters

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2005, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/10/22 19:50:30 $

revision

$Revision: 1.4 $

deferred class

UC_CHARACTER_CLASS_INTERFACE

feature -- Access

decimal_digit_value (a_code_point: INTEGER): INTEGER_8

-- Decimal digit value for a_code_point

require
valid_code_point: is_valid_code_point (a_code_point)
decimal_digit: is_decimal_digit (a_code_point)
ensure
positive_value: Result >= 0
decimal_value_small_enough: Result <= 9
is_close_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a closing punctuation mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_combining_spacing_mark (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a combining-spacing mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_connector_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a connector?

require
valid_code_point: is_valid_code_point (a_code_point)
is_control (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a control character?

require
valid_code_point: is_valid_code_point (a_code_point)
is_currency_symbol (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a currency symbolk?

require
valid_code_point: is_valid_code_point (a_code_point)
is_dash_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a dash?

require
valid_code_point: is_valid_code_point (a_code_point)
is_decimal_digit (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a decimal digit?

require
valid_code_point: is_valid_code_point (a_code_point)
is_enclosing_mark (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an enclosing mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_final_quote_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a final quote?

require
valid_code_point: is_valid_code_point (a_code_point)
is_format (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a format character?

require
valid_code_point: is_valid_code_point (a_code_point)
is_initial_quote_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an initial quote?

require
valid_code_point: is_valid_code_point (a_code_point)
is_letter (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_letter_number (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a letter number?

require
valid_code_point: is_valid_code_point (a_code_point)
is_line_separator (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a line separator?

require
valid_code_point: is_valid_code_point (a_code_point)
is_lower_case (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a lower-case letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_mark (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_math_symbol (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a maths symbol?

require
valid_code_point: is_valid_code_point (a_code_point)
is_modifier_letter (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a modifier letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_modifier_symbol (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a modifier symbol?

require
valid_code_point: is_valid_code_point (a_code_point)
is_nonspacing_mark (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a non-spacing mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_number (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a number?

require
valid_code_point: is_valid_code_point (a_code_point)
is_open_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an opening punctuation mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_other_letter (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an other letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_other_number (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an other number?

require
valid_code_point: is_valid_code_point (a_code_point)
is_other_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an other punctuation mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_other_symbol (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an other symbol?

require
valid_code_point: is_valid_code_point (a_code_point)
is_paragraph_separator (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a paragraph separator?

require
valid_code_point: is_valid_code_point (a_code_point)
is_private_use (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a private use character?

require
valid_code_point: is_valid_code_point (a_code_point)
is_punctuation (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a punctuation mark?

require
valid_code_point: is_valid_code_point (a_code_point)
is_separator (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a separator?

require
valid_code_point: is_valid_code_point (a_code_point)
is_space_separator (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a space?

require
valid_code_point: is_valid_code_point (a_code_point)
is_surrogate (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a surrogate character?

require
valid_code_point: is_valid_code_point (a_code_point)
is_symbol (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a symbol?

require
valid_code_point: is_valid_code_point (a_code_point)
is_title_case (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a title-case letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_upper_case (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point an upper-case letter?

require
valid_code_point: is_valid_code_point (a_code_point)
is_valid_code_point (a_code_point: INTEGER): BOOLEAN

-- Is a_code_point a valid Unicode code point?

invariant


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

end