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

xml.general

Class XM_UNICODE_CHARACTERS_1_1


Direct ancestors

XM_UNICODE_CHARACTERS

Known direct descendants

XM_XPATH_STATIC_CONTEXT, XM_XPATH_NAME_UTILITIES, XM_XPATH_EXPRESSION_PARSER, XM_XPATH_LOCAL_NAME_TEST, XM_XPATH_ELEMENT, XM_XPATH_NAMESPACE_RESOLVER, XM_XSLT_FORMAT_NUMBER, XM_XPATH_QNAME_PARSER, XM_XSLT_DOCUMENT_FUNCTION, XM_XSLT_FIXED_SORT_KEY_DEFINITION, XM_XSLT_COMPILED_NAMESPACE, XM_XPATH_ATTRIBUTE_COLLECTION, XM_XSLT_OUTPUT, XM_XSLT_OUTPUT_ROUTINES, XM_XSLT_STRING_ROUTINES, XM_XSLT_XML_EMITTER, XM_XPATH_TINY_FOREST, XM_XPATH_STRING_TO_CODEPOINTS, XM_XPATH_CODEPOINTS_TO_STRING, XM_XPATH_VARIABLE

Features

Invariants

indexing

description

XML 1.1 unicode character classes

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/03/17 04:03:25 $

revision

$Revision: 1.1 $

class

XM_UNICODE_CHARACTERS_1_1

inherit

XM_UNICODE_CHARACTERS

feature -- Characters

is_char (a: INTEGER): BOOLEAN

-- Is this a character code matching XML 1.1's 'Char'?

-- (From XM_UNICODE_CHARACTERS)

is_name_char (a: INTEGER): BOOLEAN

-- Is this a character code matching XML 1.1's 'NameChar'?

-- (From XM_UNICODE_CHARACTERS)

is_name_first (a: INTEGER): BOOLEAN

-- Is this a character code matching XML 1.1's 'NameStartChar'?

-- (From XM_UNICODE_CHARACTERS)

is_space (a: INTEGER): BOOLEAN

-- Is this a character code matching XML 1.1's 'S'?

-- (From XM_UNICODE_CHARACTERS)

feature -- Namespace characters

is_ncname_char (a: INTEGER): BOOLEAN

-- Is this a valid 'NCName' character?

-- (From XM_UNICODE_CHARACTERS)

ensure
definition: Result = (a /= (':').code and is_name_char (a))
is_ncname_first (a: INTEGER): BOOLEAN

-- Is this a valid first character of a 'NCName'?

-- (From XM_UNICODE_CHARACTERS)

ensure
definition: Result = (a /= (':').code and is_name_first (a))

feature -- Strings

is_name (a_name: STRING): BOOLEAN

-- Is a_name a valid XML 'Name'?

-- (From XM_UNICODE_CHARACTERS)

require
a_name_not_void: a_name /= Void
ensure
empty_not_name: a_name.is_empty implies not Result
is_ncname (a_name: STRING): BOOLEAN

-- Is a_name a valid XML Namespace 'NCName'?

-- (From XM_UNICODE_CHARACTERS)

require
a_name_not_void: a_name /= Void
ensure
empty_not_name: a_name.is_empty implies not Result
is_nmtoken (a_name: STRING): BOOLEAN

-- Is a_name a valid XML 'Nmtoken'?

-- (From XM_UNICODE_CHARACTERS)

require
a_name_not_void: a_name /= Void
is_qname (a_name: STRING): BOOLEAN

-- Is a_name a valid XML Namespace 'Qname'?
-- Qname := [NCName ':']? NCName

-- (From XM_UNICODE_CHARACTERS)

require
a_name_not_void: a_name /= Void
ensure
empty_not_name: a_name.is_empty implies not Result
is_string (a_string: STRING): BOOLEAN

-- Is a_string a string containing no invalid XML characters?

-- (From XM_UNICODE_CHARACTERS)

require
a_string_not_void: a_string /= Void
ensure
empty: (a_string.count = 0) implies Result

invariant


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

end