INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Small picture whose location on the screen is controlled ", "by a pointing device. ", "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-2000 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_CURSOR
inherit

WEL_RESOURCE
end

WEL_SYSTEM_METRICS
export
{NONE}
all
end
creation

make_by_bitmask,
make_by_file,
make_by_id,
make_by_name,
make_by_pointer,
make_by_predefined_id
feature {NONE}-- Initialization

make_by_bitmask (x_hot_spot, y_hot_spot: INTEGER; and_plane, xor_plane: ARRAY [CHARACTER])
-- Make a cursor using bitmask arrays.
-- `and_plane' and `xor_plane' points to an array of
-- byte that contains the bit values for the AND and XOR
-- bitmasks of the cursor, as in a device-dependent
-- monochrome bitmap. `x_hot_spot', and `y_hot_spot'
-- specify the horizontal and vertical position of
-- the cursor's hot spot.
require
x_hot_spot_large_enough: x_hot_spot >= 0
x_hot_spot_small_enough: x_hot_spot < cursor_width
y_hot_spot_large_enough: y_hot_spot >= 0
y_hot_spot_small_enough: y_hot_spot < cursor_height
and_plane_not_void: and_plane /= void
xor_plane_not_void: xor_plane /= void
and_plane_not_empty: not and_plane.is_empty
xor_plane_not_empty: not xor_plane.is_empty

make_by_file (file_name: FILE_NAME)
-- Load a cusor file named `file_name'.
-- Only Windows 95.
require
file_name_not_void: file_name /= void
feature -- Access

previous_cursor: WEL_CURSOR
feature -- Basic operations

set
-- Set the current cursor for the entire application and
-- save the old one in `previous_cursor' if there was
-- one.
require
exists: exists

restore_previous
-- Restore the `previous_cursor'.
require
previous_cursor_not_void: previous_cursor /= void
ensure
previous_cursor_void: previous_cursor = void
end -- class WEL_CURSOR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES