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$"
	revision: "$Revision$"

deferred class EM_ANIMATABLE

feature -- Basic operations

	go_to_time (a_time: INTEGER) is
			-- Change `Current' object state to
			-- state at `a_time' (in milliseconds).
		deferred
		end

end