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

em.goof.force

Class EM_GOOF_AREA


Known direct descendants

EM_GOOF_RECT_AREA, EM_GOOF_ROUND_AREA

Features

Invariants

indexing

description

An area description used for localized EM_GOOF_FORCE.

date

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

revision

$Revision: 1.5 $

deferred class

EM_GOOF_AREA

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Status

is_in_area (point: EM_VECTOR_2D): BOOLEAN

-- Is 'point' in the area?

require
point_not_void: point /= void

invariant

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

end