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

kernel.unicode

Class UC_CHARACTER_CLASS_ROUTINES


Direct ancestors

UC_CHARACTER_CLASS_INTERFACE

Features

Invariants

indexing

description

Routines for determining class of Unicode characters

remark

Generated by geuc

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/24 09:27:04 $

revision

$Revision: 1.3 $

class

UC_CHARACTER_CLASS_ROUTINES

inherit

UC_CHARACTER_CLASS_INTERFACE

feature -- Access

decimal_digit_value (a_code_point: INTEGER): INTEGER_8

-- Decimal digit value for a_code_point

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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

-- Is a_code_point a letter?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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

-- Is a_code_point a mark?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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

-- Is a_code_point a number?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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

-- Is a_code_point a separator?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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

-- Is a_code_point a symbol?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

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?

-- (From UC_CHARACTER_CLASS_INTERFACE)

invariant


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

end