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

em.goof.force

Class EM_GOOF_RECT_AREA


Direct ancestors

EM_GOOF_AREA

Creation

Features

Invariants

indexing

description

A recangular EM_GOOF_AREA.

date

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

revision

$Revision: 1.4 $

class

EM_GOOF_RECT_AREA

inherit

EM_GOOF_AREA

create

make (a_position, a_dilatation: EM_VECTOR_2D)

-- Make rect_area

require
a_position_not_void: a_position /= void
a_dilatation_not_void: a_dilatation /= void
ensure
position_set: position = a_position
dilatation_set: dilatation = a_dilatation

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Initialization

make (a_position, a_dilatation: EM_VECTOR_2D)

-- Make rect_area

require
a_position_not_void: a_position /= void
a_dilatation_not_void: a_dilatation /= void
ensure
position_set: position = a_position
dilatation_set: dilatation = a_dilatation

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Properties

dilatation: EM_VECTOR_2D

-- Rect_areas dilatation (width/height)

position: EM_VECTOR_2D

-- Position (top/left)

set_dilatation (a_dilatation: EM_VECTOR_2D)

-- Set dilatation

require
a_dilatation_not_void: a_dilatation /= void
ensure
dilatation_set: dilatation = a_dilatation
set_position (a_position: EM_VECTOR_2D)

-- Set position

require
a_position_not_void: a_position /= void
ensure
position_set: position = a_position

feature {EM_GOOF_FORCE, EM_GOOF_PHYSICS} -- Status

is_in_area (point: EM_VECTOR_2D): BOOLEAN

-- Is 'point' in the area?

-- (From EM_GOOF_AREA)

require
point_not_void: point /= void

invariant

dilatation_not_void: dilatation /= void
position_not_void: position /= void

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

end