indexing
description: "Contains information about a tree view control item."
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class interface
WEL_TREE_VIEW_ITEM
create
make
make_by_pointer (a_pointer: POINTER)
itema_pointer
item
a_pointer
WEL_ANY
ensure WEL_ANY
item_set: item = a_pointer
shared: shared
feature
children: INTEGER
require
valid_member: children_is_valid
h_item: POINTER
item: POINTER
WEL_ANY
lparam: INTEGER
require
valid_member: lparam_is_valid
mask: INTEGER
WEL_TVIF_CONSTANTS
state: INTEGER
require
valid_member: state_is_valid
text: STRING
require
valid_member: text_is_valid
ensure
result_not_void: Result /= void
feature
structure_size: INTEGER
ensure WEL_STRUCTURE
positive_result: Result > 0
feature
children_is_valid: BOOLEAN
children
exists: BOOLEAN
item
WEL_ANY
ensure WEL_ANY
Result = (item /= default_pointer)
lparam_is_valid: BOOLEAN
lParam
shared: BOOLEAN
item
item
destroy_item
item
WEL_ANY
state_is_valid: BOOLEAN
state
text_is_valid: BOOLEAN
text
feature
set_shared
shared
WEL_ANY
ensure WEL_ANY
shared: shared
set_unshared
shared
WEL_ANY
ensure WEL_ANY
unshared: not shared
feature
add_mask (a_mask_value: INTEGER)
a_mask_value
set_h_item (a_h_item: POINTER)
h_itema_h_item
ensure
h_item_set: h_item = a_h_item
set_image (image_normal: INTEGER; image_selected: INTEGER)
image_normal
image_selected
image_normalimage_selected
set_item (an_item: POINTER)
iteman_item
WEL_ANY
ensure WEL_ANY
item_set: item = an_item
set_lparam (a_lparam: INTEGER)
a_lparamlparam
ensure
lparam_set: lparam = a_lparam
set_mask (a_mask_value: INTEGER)
maska_mask_value
set_state (a_state: INTEGER)
a_statestate
ensure
state_set: state = a_state
set_text (a_text: STRING)
texta_text
require
a_text_not_void: a_text /= void
ensure
text_set: text.is_equal (a_text)
feature
dispose
Current
Current
WEL_ANY
feature
to_integer: INTEGER
item
WEL_ANY
ensure WEL_ANY
Result = cwel_pointer_to_integer (item)
feature
structure_initialize
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
initialize_with_character (a_character: CHARACTER)
a_character
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
memory_copy (source_pointer: POINTER; length: INTEGER)
lengthsource_pointeritem
WEL_STRUCTURE
require WEL_STRUCTURE
length_small_enough: length <= structure_size
length_large_enough: length > 0
exists: exists
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- WEL_TREE_VIEW_ITEM