INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about the menu of a MDI application. ", "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_CLIENT_CREATE_STRUCT
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make
feature {NONE}-- Initialization

make (a_window_menu: WEL_MENU; a_first_child: INTEGER)
-- Make a client structure with `a_window_menu' and
-- `a_first_child'.
require
a_window_menu_not_void: a_window_menu /= void
a_window_menu_exists: a_window_menu.exists
ensure
window_menu_set: window_menu.item = a_window_menu.item
first_child_set: first_child = a_first_child
feature -- Access

window_menu: WEL_MENU
-- MDI application's window menu
ensure
result_not_void: Result /= void

first_child: INTEGER
-- Child window identifier of the first MDI child
-- window created.
feature -- Element change

set_window_menu (a_window_menu: WEL_MENU)
-- Set `window_menu' with `a_window_menu'.
require
a_window_menu_not_void: a_window_menu /= void
a_window_menu_exists: a_window_menu.exists
ensure
window_menu_set: window_menu.item = a_window_menu.item

set_first_child (a_first_child: INTEGER)
-- Set `first_child' with `a_first_child'.
ensure
first_child_set: first_child = a_first_child
feature -- Measurement

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES