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

xml.event

Class XM_DTD_CALLBACKS


Known direct descendants

XM_ATTRIBUTE_DEFAULT_FILTER, XM_DTD_CALLBACKS_FILTER, XM_DTD_CALLBACKS_NULL, XM_FORWARD_DTD_CALLBACKS, XM_XPATH_CONTENT_EMITTER

Features

Invariants

indexing

description

Callbacks for DTD declaration

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/02/21 00:02:51 $

revision

$Revision: 1.10 $

deferred class

XM_DTD_CALLBACKS

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.
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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 (first event).
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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

-- Processing a comment within DTD.
-- Atomic: single comment produces single event
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

require
a_content_not_void: a_content /= Void
on_dtd_end

-- End of DTD (last event in a document).

on_dtd_processing_instruction (a_name: STRING; a_content: STRING)

-- Processing instruction within DTD.
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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)

-- Element declaration.
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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.
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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

-- Notation declaration.
-- Warning: strings may be polymorphic, see XM_STRING_MODE.

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

invariant

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

end