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

xml.event

Class XM_CALLBACKS_SOURCE


Known direct descendants

XM_CALLBACKS_FILTER, XM_PARSER, XM_FORWARD_CALLBACKS

Features

Invariants

indexing

description

Source of XML 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_CALLBACKS_SOURCE

feature

set_callbacks (a_callback: XM_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