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

em.widget.border

Class EM_BEVEL_BORDER


Direct ancestors

EM_BORDER, EM_WIDGET_DRAWING

Creation

Features

Invariants

indexing

description

TODO: improve drawing
TODO: refactor colors

date

$Date: 2005/10/23 20:36:21 $

revision

$Revision: 1.8 $

class

EM_BEVEL_BORDER

inherit

EM_BORDER

create

make_up

-- Initialise bevel border up.

make_down

-- Initialise bevel border down.

feature -- Access

bottom: INTEGER

-- Bottom size of border

-- (From EM_BORDER)

is_up: BOOLEAN

-- Is bevel border "up"?

left: INTEGER

-- Left size of border

-- (From EM_BORDER)

right: INTEGER

-- Right size of border

-- (From EM_BORDER)

top: INTEGER

-- Top size of border

-- (From EM_BORDER)

feature -- Drawing

draw_on (a_widget: EM_WIDGET)

-- Draw border on a_widget.

-- (From EM_BORDER)

require
a_widget_not_void: a_widget /= Void

invariant

-- From EM_BORDER
non_negative_size: top >= 0 and left >= 0 and right >= 0 and bottom >= 0

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

end