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

xml.parser.eiffel

Class XM_EIFFEL_UNICODE_STRUCTURE_FACTORY


Direct ancestors

XM_UNICODE_STRUCTURE_FACTORY

Known direct descendants

XM_EIFFEL_PARSER_SKELETON

Features

Invariants

indexing

description

Factories for structures allowing string polymorphism

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Andreas Leitner and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.4 $

class

XM_EIFFEL_UNICODE_STRUCTURE_FACTORY

inherit

XM_UNICODE_STRUCTURE_FACTORY

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)

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

feature -- Specialized structures

new_boolean_string_table: DS_HASH_TABLE [BOOLEAN, STRING]

-- New boolean table

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- New entities table

ensure
entities_tale_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

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

feature -- General structures

new_string_arrayed_list: DS_ARRAYED_LIST [STRING]

-- New string list

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- New string queue

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- New string set

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- New string stack

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

-- New table of strings

-- (From XM_UNICODE_STRUCTURE_FACTORY)

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

invariant


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

end