INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Defines the style, width and color of a pen. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_LOG_PEN
inherit

WEL_STRUCTURE
rename
make as structure_make
end

WEL_PS_CONSTANTS
export
{NONE}
all
{ANY}
valid_pen_style_constant
end
creation

make,
make_by_pen
feature {NONE}-- Initialization

make (a_style, a_width: INTEGER; a_color: WEL_COLOR_REF)
-- Make a log pen using `a_style', `a_width' and
-- `a_color'.
-- See class WEL_PS_CONSTANTS for `a_style' values.
require
valid_pen_style_constant: valid_pen_style_constant (a_style)
positive_width: a_width >= 0
color_not_void: a_color /= void
ensure
set_style: style = a_style
set_width: width = a_width
set_color: color.item = a_color.item

make_by_pen (pen: WEL_PEN)
-- Make a log pen using the information of `pen'.
require
pen_not_void: pen /= void
pen_exists: pen.exists
feature -- Access

style: INTEGER
-- Pen style
ensure
valid_result: valid_pen_style_constant (Result)

width: INTEGER
-- Pen width
ensure
positive_result: Result >= 0

color: WEL_COLOR_REF
-- Pen color
ensure
result_not_void: Result /= void
feature -- Element change

set_style (a_style: INTEGER)
-- Set `style' with `a_style'
require
valid_pen_style_constant: valid_pen_style_constant (a_style)
ensure
set_style: style = a_style

set_width (a_width: INTEGER)
-- Set `width' with `a_width'
require
positive_width: a_width >= 0
ensure
set_width: width = a_width

set_color (a_color: WEL_COLOR_REF)
-- Set `color' with `a_color'
require
a_color_not_void: a_color /= void
ensure
set_color: color.item = a_color.item
feature -- Measurement

structure_size: INTEGER
-- Size to allocate (in bytes)
invariant

color_not_void: color /= void
positive_width: width >= 0
end -- class WEL_LOG_PEN

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES