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

em

Class EM_SHARED_ERROR_HANDLER


Known direct descendants

EM_SUBSYSTEM, EM_CURSOR, EM_SOCKETS, EM_JOYSTICK, EM_APPLICATION, EM_EVENT_LOOP, EM_AUDIO_SUBSYSTEM, EM_MIXER, EM_CDROM, EM_CHANNELS, EM_CHANNEL, EM_AUDIO_FACTORY, EM_MUSIC, EM_AUDIO_GROUP, EM_FILE_LOADER, EM_ANIMATION, EM_KEYBOARD, EM_SURFACE, EM_SIMPLE_UDP_SOCKET, EM_SOCKET, EM_UDP_SOCKET, EM_INET_ADDRESS, EM_TCP_SERVER_SOCKET, GL_SURFACE_TEXTURE, EM_BITMAP_FACTORY, EM_SMJPEG_DECODER, EM_VIDEO_DECODER_FACTORY, EM_STANDARD_BMP_FONTS, EM_TTF_FONT, EM_2D_COMPONENT, EM_BITMAP_BACKGROUND

Features

Invariants

indexing

description

Shared error message handler

date

$Date: 2005/10/23 08:56:58 $

revision

$Revision: 1.7 $

class

EM_SHARED_ERROR_HANDLER

feature -- Access

error_handler: EM_ERROR_HANDLER

-- EiffelMedia error handler

ensure
error_handler_not_void: Result /= Void

invariant

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

end