INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Contains information about a tool in a tooltip control. ", "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-2001 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_TOOL_INFO
inherit

WEL_STRUCTURE
rename
make as structure_make
end

WEL_WORD_OPERATIONS
export
{NONE}
all
end

WAPI_ATOMS
end
creation

make
feature {NONE}-- Initialization

make
-- Make a tool info structure.
feature -- Access

flags: INTEGER
-- A set of bit flags. See class WEL_TTF_CONSTANTS
-- for values.

window: WEL_WINDOW
-- Window that contains the tool

id: INTEGER
-- Application-defined identifier of the tool

rect: WEL_RECT
-- Coordinates of the bounding rectangle of the tool
ensure
result_not_void: Result /= void

instance: WEL_INSTANCE
-- Instance that contains the string resource for the
-- tool. If `text' specifies the identifier of a string
-- resource, this information is used.
ensure
result_not_void: Result /= void

text: STRING
-- Text for the tool
require
text_id_not_set: not text_id_set
ensure
result_not_void: Result /= void

text_id: INTEGER
-- String resource identifier for the text
require
text_id_set: text_id_set
feature -- Status report

text_call_back_set: BOOLEAN
-- Is `text' equal to `Lpstr_textcallback'?

text_id_set: BOOLEAN
-- Is `text' equal to a resource string identifer?
feature -- Element change

set_flags (a_flags: INTEGER)
-- Set `flags' with `a_flags'.
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_id (an_id: INTEGER)
-- Set `id' with `an_id'.
ensure
id_set: id = an_id

set_rect (a_rect: WEL_RECT)
-- Set `rect' with `a_rect'.
require
a_rect_not_void: a_rect /= void
ensure
rect_set: rect.is_equal (a_rect)

set_instance (an_instance: WEL_INSTANCE)
-- Set `instance' with `an_instance'.
require
an_instance_not_void: an_instance /= void
ensure
instance_set: instance.item = an_instance.item

set_text (a_text: STRING)
-- Set `text' with `a_text'.
require
a_text_not_void: a_text /= void
ensure
text_set: text.is_equal (a_text)

set_text_id (an_id: INTEGER)
-- Set `text' with a string resource identifier `an_id'.
ensure
text_id_set: text_id = an_id

set_text_call_back
-- Set `text' with `Lpstr_textcallback'.
ensure
text_call_back_set: text_call_back_set
feature -- Measurement

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES