indexing

	description: "[

		An area description used for localized EM_GOOF_FORCE.

	]"
	date: "$Date$"
	revision: "$Revision$"

deferred class

	EM_GOOF_AREA

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Status

	is_in_area(point: EM_VECTOR_2D): BOOLEAN is
			-- Is 'point' in the area?
		require
			point_not_void: point /= void
		deferred
		end

end