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

xml.general

Class XM_SHARED_UNICODE_CHARACTERS


Direct ancestors

XM_MARKUP_CONSTANTS, KL_IMPORTED_STRING_ROUTINES

Known direct descendants

XM_UNICODE_STRING_ROUTINES, XM_UNICODE_VALIDATION_FILTER, XM_XMLID_VALIDATOR

Features

Invariants

indexing

description

XML unicode character classes, shared instances

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/06/26 18:13:47 $

revision

$Revision: 1.2 $

class

XM_SHARED_UNICODE_CHARACTERS

feature -- Access

characters (a_version: STRING): XM_UNICODE_CHARACTERS

-- Return character range routines depending on XML version string.

require
known_version: is_known_version (a_version)
characters_1_0: XM_UNICODE_CHARACTERS_1_0

-- 1.0 version of XML unicode character ranges.

ensure
result_not_void: Result /= Void
characters_1_1: XM_UNICODE_CHARACTERS_1_1

-- 1.1 version of XML unicode character ranges.

ensure
result_not_void: Result /= Void
is_known_version (a_version: STRING): BOOLEAN

-- Is this an XML version string for which the
-- character classes are known?

ensure
known_1_0: STRING_.same_string (a_version, Xml_version_1_0) implies Result
known_1_1: STRING_.same_string (a_version, Xml_version_1_1) implies Result

invariant

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

end