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

xml.event

Class XM_DTD_CALLBACKS_FILTER


Direct ancestors

XM_DTD_CALLBACKS, XM_DTD_CALLBACKS_SOURCE

Known direct descendants

XM_DTD_PRETTY_PRINT_FILTER, XM_DTD_XMLID_VALIDATOR, XM_OASIS_XML_CATALOG_FILTER, XM_XPOINTER_EVENT_FILTER

Creation

Features

Invariants

indexing

description

DTD event filter that can forward events to 'next' filter

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 19:45:02 $

revision

$Revision: 1.5 $

class

XM_DTD_CALLBACKS_FILTER

inherit

XM_DTD_CALLBACKS
XM_DTD_CALLBACKS_SOURCE

create

make_null

-- Next is null processor.

set_next (a_next: like next)

-- Set receiver of forwarded events.

-- (From XM_DTD_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void

feature -- Access

: XM_DTD_CALLBACKS

-- Receiver for forwarded events

set_next (a_next: like next)

-- Set receiver of forwarded events.

-- (From XM_DTD_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void

feature -- Document type definition callbacks

on_attribute_declaration (an_element_name, a_name: STRING; a_model: XM_DTD_ATTRIBUTE_CONTENT)

-- Attribute declaration, one event per attribute.

-- (From XM_DTD_CALLBACKS)

require
an_element_name_not_void: an_element_name /= Void
a_name_not_void: a_name /= Void
a_model_not_void: a_model /= Void
on_doctype (a_name: STRING; an_id: XM_DTD_EXTERNAL_ID; has_internal_subset: BOOLEAN)

-- Document type declaration.

-- (From XM_DTD_CALLBACKS)

require
a_name_not_void: a_name /= Void
on_dtd_comment (a_content: STRING)

-- Comment.

-- (From XM_DTD_CALLBACKS)

require
a_content_not_void: a_content /= Void
on_dtd_end

-- End of DTD.

-- (From XM_DTD_CALLBACKS)

on_dtd_processing_instruction (a_name, a_content: STRING)

-- PI.

-- (From XM_DTD_CALLBACKS)

require
name_not_void: a_name /= Void
content_not_void: a_content /= Void
on_element_declaration (a_name: STRING; a_model: XM_DTD_ELEMENT_CONTENT)

-- (From XM_DTD_CALLBACKS)

require
a_name_not_void: a_name /= Void
a_model_not_void: a_model /= Void
on_entity_declaration (entity_name: STRING; is_parameter: BOOLEAN; value: STRING;an_id: XM_DTD_EXTERNAL_ID; notation_name: STRING)

-- Entity declaration.

-- (From XM_DTD_CALLBACKS)

require
entity_name_not_void: entity_name /= Void
on_notation_declaration (notation_name: STRING; an_id: XM_DTD_EXTERNAL_ID)

-- Notation declaration.

-- (From XM_DTD_CALLBACKS)

require
notation_name_not_void: notation_name /= Void
id_not_void: an_id /= Void

invariant

next_not_void: next /= Void

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

end