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

xml.event

Class XM_CALLBACKS_FILTER_FACTORY


Known direct descendants

EM_LOCAL_HIGHSCORE, XM_TREE_CALLBACKS_PIPE, XM_XPATH_TINYTREE_CALLBACKS_PIPE, XM_XPATH_TREE_CALLBACKS_PIPE

Features

Invariants

indexing

description

Convenient class to create event filters

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/02/12 00:16:05 $

revision

$Revision: 1.19 $

class

XM_CALLBACKS_FILTER_FACTORY

feature -- Filters

new_canonical_pretty_print: XM_CANONICAL_PRETTY_PRINT_FILTER

-- James Clark' canonical XML output

ensure
pretty_print_not_void: Result /= Void
new_content_concatenator: XM_CONTENT_CONCATENATOR

-- New content concatenation filter.

ensure
content_concatenator_not_void: Result /= Void
new_end_tag_checker: XM_END_TAG_CHECKER

-- New end tag checker filter

obsolete

End tag checking is built into parser

ensure
checker_not_void: Result /= Void
new_indent_pretty_print: XM_INDENT_PRETTY_PRINT_FILTER

-- Indenting pretty print filter

ensure
indent_pretty_print_not_void: Result /= Void
new_namespace_resolver: XM_NAMESPACE_RESOLVER

-- New namespace resolver

ensure
namespace_resolver_not_void: Result /= Void
new_null: XM_CALLBACKS_NULL

-- New null callback consumer

ensure
null_callback_not_void: Result /= Void
new_pretty_print: XM_PRETTY_PRINT_FILTER

-- New pretty printer (to standard io)

ensure
pretty_print_not_void: Result /= Void
new_shared_strings: XM_SHARED_STRINGS_FILTER

-- New shared strings filter

ensure
shared_string_not_void: Result /= Void
new_stop_on_error: XM_STOP_ON_ERROR_FILTER

-- New stop-on-error filter

ensure
stop_on_error_not_void: Result /= Void
new_tree_builder: XM_CALLBACKS_TO_TREE_FILTER

-- New tree construction filter

obsolete

See tree cluster, e.g. XM_TREE_CALLBACKS_PIPE

ensure
tree_builder_not_void: Result /= Void
new_unicode_validation: XM_UNICODE_VALIDATION_FILTER

-- New unicode validation filter

ensure
unicode_validation_not_void: Result /= Void
new_whitespace_normalizer: XM_WHITESPACE_NORMALIZER

-- New whitespace normalizer.

ensure
whitespace_normalizer_not_void: Result /= Void
new_xmlns_generator: XM_XMLNS_GENERATOR

-- New xmlns: generator (opposite of namespace resolver)

ensure
xmlns_generator_not_void: Result /= Void

feature -- Pipes

callbacks_pipe (a: ARRAY [XM_CALLBACKS_FILTER]): XM_CALLBACKS

-- Make a pipe,
-- eg << new_tag_checker, new_pretty_print >>
-- return first item of pipe.

require
a_not_void: a /= Void
a_not_empty: a.count > 0
ensure
pipe_not_void: Result /= Void
standard_callbacks_pipe (a: ARRAY [XM_CALLBACKS_FILTER]): XM_CALLBACKS

-- Add elements to standard validation pipe, which
-- begins with:
-- namespace resolver -> stop on error

require
a_not_void: a /= Void
ensure
pipe_not_void: Result /= Void

invariant

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

end