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

em.widget.background

Class EM_BACKGROUND


Known direct descendants

EM_COLOR_BACKGROUND, EM_TRANSPARENT_BACKGROUND, EM_BITMAP_BACKGROUND, EM_VERTICAL_GRADIENT_BACKGROUND, EM_HORIZONTAL_GRADIENT_BACKGROUND

Features

Invariants

indexing

description

Background of an EM_WIDGET.

date

$Date: 2005/10/23 11:10:45 $

revision

$Revision: 1.6 $

deferred class

EM_BACKGROUND

feature -- Drawing

draw_on (a_widget: EM_WIDGET)

-- Draw background on a_widget.

require
a_widget_not_void: a_widget /= Void

invariant

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

end