INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about the class, title, owner, ", "location, and size of a MDI child window. ", "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-2001 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_MDI_CREATE_STRUCT
inherit

WEL_STRUCTURE
rename
make as structure_make
end

WEL_WS_CONSTANTS
export
{NONE}
all
end
creation

make
feature {NONE}-- Initialization

make (a_class_name: STRING; a_title: STRING)
-- Make a MDI create structure with `a_class_name' and
-- `a_title'.
ensure
class_name_set: class_name.is_equal (a_class_name)
title_set: title.is_equal (a_title)
owner_set: owner.item = main_args.current_instance.item
style_set: style = 0
lparam_set: lparam = default_pointer
feature -- Access

class_name: STRING
-- Class name of the MDI child window
ensure
result_not_void: Result /= void

title: STRING
-- Title of the MDI child window
ensure
result_not_void: Result /= void

owner: WEL_INSTANCE
-- Owner of the MDI child window
ensure
result_not_void: Result /= void

x: INTEGER
-- x position of the MDI child window

y: INTEGER
-- y position of the MDI child window

width: INTEGER
-- Width of the MDI child window

height: INTEGER
-- Height of the MDI child window

style: INTEGER
-- Style of the MDI child window

lparam: POINTER
-- Lparam of the MDI child window
feature -- Element change

set_class_name (a_class_name: STRING)
-- Set `class_name' with `a_class_name'
require
a_class_name_valid: a_class_name /= void
ensure
class_name_set: class_name.is_equal (a_class_name)

set_title (a_title: STRING)
-- Set `title' with `a_title'
require
a_title_valid: a_title /= void
ensure
title_set: title.is_equal (a_title)

set_owner (an_owner: WEL_INSTANCE)
-- Set `owner' with `an_owner'
require
an_owner_not_void: an_owner /= void
ensure
owner_set: owner.item = an_owner.item

set_x (a_x: INTEGER)
-- Set `x' with `a_x'

set_y (a_y: INTEGER)
-- Set `y' with `a_y'

set_width (a_width: INTEGER)
-- Set `width' with `a_width'

set_height (a_height: INTEGER)
-- Set `height' with `a_height'

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

set_lparam (a_lparam: POINTER)
-- Set `lparam' with `a_lparam'
ensure
lparam_set: lparam = a_lparam
feature -- Measurement

structure_size: INTEGER
-- Size to allocate (in bytes)
end -- class WEL_MDI_CREATE_STRUCT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES