INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Drawing object used to draw lines and borders. ", "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_PEN
inherit

WEL_GDI_ANY
end

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

make,
make_by_pointer,
make_indirect,
make_solid
feature {NONE}-- Initialization

make (a_style, a_width: INTEGER; a_color: WEL_COLOR_REF)
-- Make a 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
style_set: exists implies style = a_style
width_set: exists implies width = a_width
color_set: exists implies color.is_equal (a_color)

make_solid (a_width: INTEGER; a_color: WEL_COLOR_REF)
-- Make a solid pen using `a_width' and `a_color'.
require
positive_width: a_width >= 0
a_color_not_void: a_color /= void
ensure
style_set: exists implies style = ps_solid
width_set: exists implies width = a_width
color_set: exists implies color.is_equal (a_color)

make_indirect (a_log_pen: WEL_LOG_PEN)
-- Make a pen using `a_log_pen'.
require
a_log_pen_not_void: a_log_pen /= void
feature -- Access

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

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

color: WEL_COLOR_REF
-- Pen color
require
exists: exists
ensure
result_not_void: Result /= void

log_pen: WEL_LOG_PEN
-- Log pen structure associated to `Current'
require
exists: exists
ensure
result_not_void: Result /= void
end -- class WEL_PEN

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES