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

em.video.collision_detection

Class EM_COLLIDABLE_3D


Known direct descendants

EM_3D_SPHERE_COLLIDABLE, EM_3D_SKYBOX_COLLIDABLE

Features

Invariants

indexing

description

Objects of type EM_COLLIDABLE_3D can be added to the EM_COLLISION_DETECTOR_3D
container. An object of type EM_COLLIDABLE_3D can collide with any other
ESDL_COLLIDABLE_3D. If current collides with any other collidable on_collide is
called by the EM_COLLISION_DETECTOR_3D.

date

$Date: 2005/10/23 10:49:44 $

revision

$Revision: 1.2 $

deferred class

EM_COLLIDABLE_3D

feature -- Status report

does_collide (other: EM_COLLIDABLE_3D): BOOLEAN

-- Does current collide with other?

require
other_not_void: other /= void
type_id: INTEGER

-- The id given to all instances of current generating class

feature {EM_COLLISION_DETECTOR_3D} -- Implementation

on_collide (other: EM_COLLIDABLE_3D)

-- current collided with other

require
other_not_void: other /= void

invariant

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

end