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

em.goof.force

Class EM_GOOF_FORCE


Known direct descendants

EM_GOOF_UNARY_FORCE, EM_GOOF_BINARY_FORCE

Features

Invariants

indexing

description

A force that applies on EM_GOOF_PHYSICABLE in EM_GOOF_PHYSICS.

date

$Date: 2005/10/23 09:39:25 $

revision

$Revision: 1.7 $

deferred class

EM_GOOF_FORCE

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Processing

process (objects: DS_LINKED_LIST[EM_GOOF_OBJECT])

-- Apply force to all physicables

require
is_objects: objects /= void

invariant

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

end