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

em.widget.background

Class EM_COLOR_BACKGROUND


Direct ancestors

EM_BACKGROUND

Creation

Features

Invariants

indexing

description

A one-color background.

date

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

revision

$Revision: 1.9 $

class

EM_COLOR_BACKGROUND

inherit

EM_BACKGROUND

create

make_from_color (a_color: like color)

-- Initialise background with a_color.

require
a_color_not_void: a_color /= Void
ensure
color_set: color = a_color

feature -- Access

color: EM_COLOR

-- Background color

feature -- Element change

set_color (a_color: like color)

-- Set color to a_color.

require
a_color_not_void: a_color /= Void
ensure
color_set: color = a_color

feature -- Drawing

draw_on (a_widget: EM_WIDGET)

-- Draw background on a_widget.

-- (From EM_BACKGROUND)

require
a_widget_not_void: a_widget /= Void

invariant

color_not_void: color /= Void

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

end