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

xml.event

Class XM_FORWARD_DTD_CALLBACKS


Direct ancestors

XM_DTD_CALLBACKS_SOURCE, XM_DTD_CALLBACKS

Known direct descendants

XM_EIFFEL_PARSER_SKELETON

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:16:09 $

revision

$Revision: 1.10 $

class

XM_FORWARD_DTD_CALLBACKS

inherit

XM_DTD_CALLBACKS_SOURCE

feature -- Access

dtd_callbacks: XM_DTD_CALLBACKS

-- Callbacks event interface to which events are forwarded;
-- If void, a null callback is created on startup.

feature -- Setting

set_dtd_callbacks (a_callbacks: like dtd_callbacks)

-- Set dtd_callbacks to a_callbacks.

-- (From XM_DTD_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void
ensure then
dtd_callbacks_set: dtd_callbacks = a_callbacks

invariant


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

end