INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about the placement of a window on ", "the screen. ", "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_PLACEMENT
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make
feature {NONE}-- Initialization

make (a_window: WEL_WINDOW)
-- Make a window placement for `a_window'.
require
a_window_not_void: a_window /= void
a_window_exists: a_window.exists
feature -- Access

flags: INTEGER
-- Flags that control the position of the
-- minimized window and the method by which
-- the window is restored.
-- See class WEL_WPF_CONSTANTS for possible values.

show_command: INTEGER
-- Show state of the window.
-- See class WEL_SW_CONSTANTS for possible values

minimum_position: WEL_POINT
-- Coordinates of the window's upper left
-- corner when the window is minimized.
ensure
result_not_void: Result /= void

maximum_position: WEL_POINT
-- Coordinates of the window's upper left
-- corner when the window is maximized.
ensure
result_not_void: Result /= void

normal_position: WEL_RECT
-- Window's coordinates when the
-- windows is in the restored position
ensure
result_not_void: Result /= void
feature -- Element change

set_flags (a_flags: INTEGER)
-- Set `flags' with `a_flags'
ensure
flags_set: flags = a_flags

set_show_command (a_show_command: INTEGER)
-- Set `show_command' with `a_show_command'
ensure
show_command_set: show_command = a_show_command

set_minimum_position (a_point: WEL_POINT)
-- Set `minimum_position' with `a_point'
require
a_point_not_void: a_point /= void

set_maximum_position (a_point: WEL_POINT)
-- Set `maximum_position' with `a_point'
require
a_point_not_void: a_point /= void

set_normal_position (a_rect: WEL_RECT)
-- Set `normal_position' with `a_rect'
require
a_rect_not_void: a_rect /= void
feature -- Measurement

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES