INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about the size and position of a ", "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 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_WINDOW_POS
inherit

WEL_STRUCTURE
end

WEL_WINDOW_MANAGER
export
{NONE}
all
end

WEL_HWND_CONSTANTS
export
{NONE}
all
end
creation

make,
make_by_pointer
feature -- Access

window: WEL_WINDOW
-- Identifies the window

window_insert_after: WEL_WINDOW
-- Position of the window in Z order (front-to-back
-- position). This window can be the window behind
-- which this window is placed.

x: INTEGER
-- Position of the left edge of the window

y: INTEGER
-- Position of the top edge of the window

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

height: INTEGER
-- Window height
ensure
positive_result: Result >= 0

flags: INTEGER
-- Window position flags
-- See class WEL_SWP_CONSTANTS for values
ensure
positive_result: Result >= 0
feature -- Element change

set_x (a_x: INTEGER)
-- Set `x' with `a_x'.
ensure
x_set: x = a_x

set_y (a_y: INTEGER)
-- Set `y' with `a_y'.
ensure
y_set: y = a_y

set_width (a_width: INTEGER)
-- Set `width' with `a_width'.
ensure
width_set: width = a_width

set_height (a_height: INTEGER)
-- Set `height' with `a_height'.
ensure
height_set: height = a_height

set_flags (a_flags: INTEGER)
-- Set `flags' with `a_flags'.
-- See class WEL_SWP_CONSTANTS for `a_flags' values.
ensure
flags_set: flags = a_flags

set_window (a_window: WEL_WINDOW)
-- Set `window' with `a_window'.
require
a_window_not_void: a_window /= void
a_window_exists: a_window.exists
ensure
window_set: window = a_window

set_window_insert_after (a_window: WEL_WINDOW)
-- Set `window_insert_after' with `a_window'.
require
a_window_not_void: a_window /= void
a_window_exists: a_window.exists
ensure
window_insert_after_set: window_insert_after = a_window

set_top
-- Place the window at the top of the Z order.

set_bottom
-- Place the window at the bottom of the Z order.
-- If `window' identifies a topmost window, the window
-- loses its topmost status and is placed at the bottom
-- of all other windows.

set_topmost
-- Places the window above all non-topmost windows.
-- The window maintains its topmost position even when
-- it is deactivated.

set_no_topmost
-- Places the window above all non-topmost windows
-- (that is, behind all topmost windows). No effect
-- if the window is already a non-topmost window.
feature -- Measurement

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES