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

xml.event

Class XM_FORWARD_CALLBACKS


Direct ancestors

XM_CALLBACKS_SOURCE, XM_CALLBACKS

Known direct descendants

XM_CALLBACKS_FILTER, XM_EIFFEL_PARSER_SKELETON

Features

Invariants

indexing

description

Descendant of callbacks interface forwarding to a client interface

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/18 13:00:57 $

revision

$Revision: 1.9 $

class

XM_FORWARD_CALLBACKS

inherit

XM_CALLBACKS_SOURCE

feature -- Access

callbacks: XM_CALLBACKS

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

feature -- Setting

set_callbacks (a_callbacks: like callbacks)

-- Set callbacks to a_callbacks.

-- (From XM_CALLBACKS_SOURCE)

require
a_callback_not_void: a_callback /= Void
ensure then
callbackes_set: callbacks = a_callbacks

invariant


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

end