INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Defines the x and y coordinates of a point. ", "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_POINT
inherit

WEL_STRUCTURE
rename
make as structure_make
export
{ANY}
is_equal
redefine
is_equal
end

WEL_WINDOW_MANAGER
export
{NONE}
all
undefine
is_equal
end
creation

make,
make_by_pointer
feature {NONE}-- Initialization

make (a_x, a_y: INTEGER)
-- Make a point and set
-- `x', `y' with `a_x', `a_y'
ensure
x_set: x = a_x
y_set: y = a_y
feature -- Access

x: INTEGER
-- x position

y: INTEGER
-- y position
feature -- Element change

set_x_y (a_x, a_y: INTEGER)
-- Set `x' with `a_x' and `y' with `a_y'.
ensure
x_set: x = a_x
y_set: y = a_y

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_cursor_position
-- Set `x' and `y' to the current cursor position.
feature -- Status report

window_at: WEL_WINDOW
-- Window containing current point
feature -- Comparison

is_equal (other: like Current): BOOLEAN
-- Is `Current' equal to `other'?
feature -- Conversion

client_to_screen (window: WEL_WINDOW)
-- Converts `Current' to screen relative position
-- `window' is the client area to be used for
-- the conversion
require
window_not_void: window /= void
window_exists: window.exists

screen_to_client (window: WEL_WINDOW)
-- Converts `Current' to client relative position
-- `window' is the client area to be used for
-- the conversion
require
window_not_void: window /= void
window_exists: window.exists
feature -- Measurement

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES