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

em.video.animation

Class EM_ANIMATABLE


Known direct descendants

EM_NEVER_ENDING_BACKGROUND

Features

Invariants

indexing

description

Objects that can perform some animation. i.e. moving before drawed.

To animate such objects. Do it like this:
Before redrawing the whole scene call the go_to_time feature
of all animatable objects.

See also animation features in EM_SCENE to
create an animated scene.

date

$Date: 2005/10/23 10:46:16 $

revision

$Revision: 1.4 $

deferred class

EM_ANIMATABLE

feature -- Basic operations

go_to_time (a_time: INTEGER)

-- Change Current object state to
-- state at a_time (in milliseconds).

invariant

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

end