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

xml.general

Class XM_UNICODE_STRUCTURE_FACTORY


Direct ancestors

UC_SHARED_STRING_EQUALITY_TESTER

Known direct descendants

XM_NODE, XM_ATTRIBUTE_DEFAULT_FILTER, XM_DTD_ELEMENT_CONTENT, XM_END_TAG_CHECKER, XM_NAMESPACE_RESOLVER, XM_SHARED_STRINGS_FILTER, XM_NAMESPACE_RESOLVER_CONTEXT, XM_NAMESPACE_TABLE, XM_EIFFEL_PARSER_NAME, XM_EIFFEL_UNICODE_STRUCTURE_FACTORY

Features

Invariants

indexing

description

Factories for structures allowing string polymorphism

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2001, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/07/11 15:50:31 $

revision

$Revision: 1.6 $

class

XM_UNICODE_STRUCTURE_FACTORY

inherit

UC_SHARED_STRING_EQUALITY_TESTER

feature -- Access

string_equality_tester: UC_STRING_EQUALITY_TESTER

-- String equality tester

-- (From UC_SHARED_STRING_EQUALITY_TESTER)

ensure
string_equality_tester_not_void: Result /= Void

feature -- Status report

same_string (a_string, other: STRING): BOOLEAN

-- Do the strings hold the same characters?
-- (polymorphically safe)

require
a_string_not_void: a_string /= Void
other_not_void: other /= Void

feature -- General structures

new_string_arrayed_list: DS_ARRAYED_LIST [STRING]

-- New string list

ensure
list_not_void: Result /= Void
equality_tester: Result.equality_tester = string_equality_tester
new_string_bilinked_list: DS_BILINKED_LIST [STRING]

-- New string list

ensure
list_not_void: Result /= Void
equality_tester: Result.equality_tester = string_equality_tester
new_string_queue: DS_LINKED_QUEUE [STRING]

-- New string queue

ensure
queue_not_void: Result /= Void
new_string_set: DS_HASH_SET [STRING]

-- New string set

ensure
set_not_void: Result /= Void
equality_tester: Result.equality_tester = string_equality_tester
new_string_stack: DS_LINKED_STACK [STRING]

-- New string stack

ensure
stack_not_void: Result /= Void
new_string_string_table: DS_HASH_TABLE [STRING, STRING]

-- New table of strings

ensure
table_not_void: Result /= Void
equality_tester: Result.equality_tester = string_equality_tester
key_tester: Result.key_equality_tester = string_equality_tester

feature -- Specialized structures

new_boolean_string_table: DS_HASH_TABLE [BOOLEAN, STRING]

-- New boolean table

ensure
table_not_void: Result /= Void
equality_tester: Result.key_equality_tester = string_equality_tester
new_dtd_attribute_content_list_table: DS_HASH_TABLE [DS_LIST [XM_DTD_ATTRIBUTE_CONTENT], STRING]

-- New attribute content table

ensure
table_not_void: Result /= Void
equality_tester: Result.key_equality_tester = string_equality_tester
new_tokens_table: DS_HASH_TABLE [DS_HASH_TABLE [BOOLEAN, STRING], STRING]

-- New tokens table

ensure
table_not_void: Result /= Void
equality_tester: Result.key_equality_tester = string_equality_tester

invariant


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

end