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

em.event

Class EM_EVENT


Direct ancestors

EM_CONSTANTS

Known direct descendants

EM_KEYBOARD_EVENT, EM_JOYSTICK_AXIS_EVENT, EM_JOYSTICK_BALL_EVENT, EM_JOYSTICK_BUTTON_EVENT, EM_JOYSTICK_HAT_EVENT, EM_QUIT_EVENT, EM_ACTIVE_EVENT, EM_MOUSE_EVENT, EM_RESIZE_EVENT, EM_WINDOWMANAGER_EVENT, EM_USER_EVENT, EM_EXPOSE_EVENT

Features

Invariants

indexing

description

Base class for EiffelMedia events.
Only used for propagating constants to the
child classes at the moment.

date

$Date: 2005/10/23 09:07:03 $

revision

$Revision: 1.3 $

class

EM_EVENT

feature -- Status report

caught: BOOLEAN

-- Has Current event already been caught?
-- This means that somebody handled the event
-- and it should not be published any further.

feature -- Status setting

set_caught (a_bool: BOOLEAN)

-- Set caught to a_bool.
-- One should call set_caught with True
-- when Current should not be published any further.

ensure
caught_set: caught = a_bool

feature -- Queries

type: INTEGER

-- Event type
-- (see EM_CONSTANTS for possible values).

invariant

sdl_event_not_void: sdl_event /= Void

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

end