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

xml.event

Class XM_DTD_CALLBACKS_SOURCE


Known direct descendants

XM_PARSER, XM_DTD_CALLBACKS_FILTER, XM_FORWARD_DTD_CALLBACKS

Features

Invariants

indexing

description

Source of XML document type definiton event callbacks

library

Gobo Eiffel XML Library

copyright

Copyright (c) 2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/12/18 21:33:57 $

revision

$Revision: 1.5 $

deferred class

XM_DTD_CALLBACKS_SOURCE

feature

set_dtd_callbacks (a_callback: XM_DTD_CALLBACKS)

-- Client will receive callbacks to.

require
a_callback_not_void: a_callback /= Void

invariant

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

end