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

xml.general

Class XM_UNICODE_STRING_ROUTINES


Direct ancestors

XM_SHARED_UNICODE_CHARACTERS

Features

Invariants

indexing

description

Validation routines for strings according to XML 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.2 $

class

XM_UNICODE_STRING_ROUTINES

obsolete

Use XM_UNICODE_CHARACTERS and descendant classes

feature -- Status

is_xml_name (a_name: STRING): BOOLEAN

-- Is a_name a valid XML name?

require
a_name_not_void: a_name /= Void
ensure
definition: Result = characters_1_0.is_name (a_name)
is_xml_string (a_string: STRING): BOOLEAN

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

require
a_string_not_void: a_string /= Void
ensure
definition: Result = characters_1_0.is_string (a_string)

invariant

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

end