elogger API
Overview Classes Cluster Class Index          Top Features

string.unicode

Class ST_UNICODE_CHARACTER_CLASS_ROUTINES


Direct ancestors

ST_UNICODE_V410_CHARACTER_CLASS_ROUTINES

Features

Invariants

indexing

description

Routines for determining class of Unicode characters

library

Gobo Eiffel String Library

copyright

Copyright (c) 2005, Colin Adams and others

license

Eiffel Forum License v2 (see forum.txt)

class ST_UNICODE_CHARACTER_CLASS_ROUTINES

inherit

ST_UNICODE_V410_CHARACTER_CLASS_ROUTINES
ST_UNICODE_CHARACTER_CLASS_INTERFACE

feature -- Access

unicode: UC_UNICODE_ROUTINES

-- Unicode routines
-- (From UC_IMPORTED_UNICODE_ROUTINES)

ensure

unicode_not_void: Result /= Void

major_version: INTEGER

-- Major version number of Unicode
-- (From ST_UNICODE_V410_CHARACTER_CLASS_ROUTINES)

minor_version: INTEGER

-- Minor version number of Unicode
-- (From ST_UNICODE_V410_CHARACTER_CLASS_ROUTINES)

update_version: INTEGER

-- Update version number of Unicode
-- (From ST_UNICODE_V410_CHARACTER_CLASS_ROUTINES)

character_class (a_code: INTEGER): INTEGER

-- Character class for a_code
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

ensure

character_class_large_enough: Result >= Unassigned_other_category
character_class_small_enough: Result <= Private_other_category

decimal_digit_value (a_code: INTEGER): INTEGER_8

-- Decimal digit value for a_code
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)
decimal_digit: is_decimal_digit (a_code)

ensure

positive_value: Result >= 0
decimal_value_small_enough: Result <= 9

is_alphabetic (a_code: INTEGER): BOOLEAN

-- Does a_code posses the Alphabetic property?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_close_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code a closing punctuation mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_combining_spacing_mark (a_code: INTEGER): BOOLEAN

-- Is a_code a combining-spacing mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_connector_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code a connector?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_control (a_code: INTEGER): BOOLEAN

-- Is a_code a control character?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_currency_symbol (a_code: INTEGER): BOOLEAN

-- Is a_code a currency symbol?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_dash_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code a dash?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_decimal_digit (a_code: INTEGER): BOOLEAN

-- Is a_code a decimal digit?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_enclosing_mark (a_code: INTEGER): BOOLEAN

-- Is a_code an enclosing mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_final_quote_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code a final quote?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_format (a_code: INTEGER): BOOLEAN

-- Is a_code a format character?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_initial_quote_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code an initial quote?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_letter (a_code: INTEGER): BOOLEAN

-- Does a_code belong to the letter category?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_letter_number (a_code: INTEGER): BOOLEAN

-- Is a_code a letter number?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_line_separator (a_code: INTEGER): BOOLEAN

-- Is a_code a line separator?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_lower_case (a_code: INTEGER): BOOLEAN

-- Is a_code a lower-case letter?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_mark (a_code: INTEGER): BOOLEAN

-- Is a_code a mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_math_symbol (a_code: INTEGER): BOOLEAN

-- Is a_code a maths symbol?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_modifier_letter (a_code: INTEGER): BOOLEAN

-- Is a_code a modifier letter?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_modifier_symbol (a_code: INTEGER): BOOLEAN

-- Is a_code a modifier symbol?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_non_character (a_code: INTEGER): BOOLEAN

-- Is a_code a non-character?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_nonspacing_mark (a_code: INTEGER): BOOLEAN

-- Is a_code a non-spacing mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_number (a_code: INTEGER): BOOLEAN

-- Is a_code a number?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_open_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code an opening punctuation mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_other_letter (a_code: INTEGER): BOOLEAN

-- Is a_code an other letter?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_other_number (a_code: INTEGER): BOOLEAN

-- Is a_code an other number?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_other_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code an other punctuation mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_other_symbol (a_code: INTEGER): BOOLEAN

-- Is a_code an other symbol?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_paragraph_separator (a_code: INTEGER): BOOLEAN

-- Is a_code a paragraph separator?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_private_use (a_code: INTEGER): BOOLEAN

-- Is a_code a private use character?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_punctuation (a_code: INTEGER): BOOLEAN

-- Is a_code a punctuation mark?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_separator (a_code: INTEGER): BOOLEAN

-- Is a_code a separator?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_space_separator (a_code: INTEGER): BOOLEAN

-- Is a_code a space?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_surrogate (a_code: INTEGER): BOOLEAN

-- Is a_code a surrogate character?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_symbol (a_code: INTEGER): BOOLEAN

-- Is a_code a symbol?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_title_case (a_code: INTEGER): BOOLEAN

-- Is a_code a title-case letter?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

is_upper_case (a_code: INTEGER): BOOLEAN

-- Is a_code an upper-case letter?
-- (From ST_UNICODE_CHARACTER_CLASS_INTERFACE)

require

valid_code: unicode.valid_code (a_code)

invariant


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

Documentation generated by edoc