indexing
description: "Information on how to search a list view"
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date: 2006-03-22 23:29:03 -0800 (Wed, 22 Mar 2006) $"
revision: "$Revision: 57641 $"
class interface
WEL_LIST_VIEW_SEARCH_INFO
create
make
item
WEL_STRUCTURE
ensure WEL_STRUCTURE
not_shared: not shared
feature
downwards: BOOLEAN
flags: INTEGER_32
generating_type: STRING_8
ANY
generator: STRING_8
ANY
item: POINTER
WEL_ANY
left: BOOLEAN
lparam: INTEGER_32
targetlparamflags
require
valid_flags: flag_set (flags, lvfi_param)
right: BOOLEAN
starting_position: WEL_POINT
require
valid_flags: flag_set (flags, lvfi_nearestxy)
target: STRING_32
targetlparamflags
require
valid_flags: flag_set (flags, lvfi_string)
upwards: BOOLEAN
feature
frozen deep_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
shallow_implies_deep: standard_equal (some, other) implies Result
both_or_none_void: (some = Void) implies (Result = (other = Void))
same_type: (Result and (some /= Void)) implies some.same_type (other)
symmetric: Result implies deep_equal (other, some)
frozen equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.is_equal (other))
frozen standard_equal (some: ANY; other: like arg #1): BOOLEAN
`some'`other'
ANY
ensure ANY
definition: Result = (some = Void and other = Void) or else ((some /= Void and other /= Void) and then some.standard_is_equal (other))
frozen standard_is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
same_type: Result implies same_type (other)
symmetric: Result implies other.standard_is_equal (Current)
feature
conforms_to (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
exists: BOOLEAN
item
WEL_ANY
ensure WEL_ANY
Result = (item /= default_pointer)
flag_set (flags, mask: INTEGER_32): BOOLEAN
`mask'flags
WEL_BIT_OPERATIONS
same_type (other: ANY): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
definition: Result = (conforms_to (other) and other.conforms_to (Current))
shared: BOOLEAN
item
item
destroy_item
item
WEL_ANY
feature
set_shared
shared
WEL_ANY
ensure WEL_ANY
shared: shared
set_unshared
shared
WEL_ANY
ensure WEL_ANY
unshared: not shared
feature
set_item (an_item: POINTER)
item`an_item'
WEL_ANY
ensure WEL_ANY
item_set: item = an_item
feature
dispose
`Current'
`Current'
WEL_ANY
feature
frozen deep_copy (other: like Current)
copy`other'deep_twin
ANY
require ANY
other_not_void: other /= Void
ensure ANY
deep_equal: deep_equal (Current, other)
frozen deep_twin: like Current
ANY
ensure ANY
deep_equal: deep_equal (Current, Result)
frozen standard_copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_standard_equal: standard_is_equal (other)
frozen standard_twin: like Current
`other'
ANY
ensure ANY
standard_twin_not_void: Result /= Void
equal: standard_equal (Result, Current)
frozen twin: like Current
`Current'
twincopycopy
ANY
ensure ANY
twin_not_void: Result /= Void
is_equal: Result.is_equal (Current)
feature
clear_flag (flags, mask: INTEGER_32): INTEGER_32
`mask'flags
WEL_BIT_OPERATIONS
ensure WEL_BIT_OPERATIONS
flag_unset: not flag_set (Result, mask)
copy (other: like Current)
`other'
WEL_STRUCTURE
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_equal: is_equal (other)
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_rescue
ANY
frozen do_nothing
ANY
initialize
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
initialize_with_character (a_character: CHARACTER_8)
`a_character'
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
is_equal (other: like Current): BOOLEAN
`other'
WEL_STRUCTURE
require ANY
other_not_void: other /= Void
ensure ANY
symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result
memory_copy (source_pointer: POINTER; length: INTEGER_32)
`length'`source_pointer'item
WEL_STRUCTURE
require WEL_STRUCTURE
length_small_enough: length <= structure_size
length_large_enough: length > 0
exists: exists
set_flag (flags, mask: INTEGER_32): INTEGER_32
`mask'flags
WEL_BIT_OPERATIONS
ensure WEL_BIT_OPERATIONS
flag_set: flag_set (Result, mask)
feature
lvfi_nearestxy: INTEGER_32 is 64
WEL_LVFI_CONSTANTS
lvfi_param: INTEGER_32 is 1
WEL_LVFI_CONSTANTS
lvfi_partial: INTEGER_32 is 8
WEL_LVFI_CONSTANTS
lvfi_string: INTEGER_32 is 2
WEL_LVFI_CONSTANTS
lvfi_wrap: INTEGER_32 is 32
WEL_LVFI_CONSTANTS
feature
add_flag (a_flag: like flags)
`a_flag'flags
require
valid_flags: is_valid_list_view_flag (a_flag)
ensure
added: flag_set (flags, a_flag)
set_downwards
set_flags (a_flags: like flags)
flags`a_flags'
require
valid_flags: is_valid_list_view_flag (a_flags)
ensure
flags_set: flags = a_flags
set_left
set_lparam (a_lparam: like lparam)
lparam`a_lparam'
ensure
lparam_set: lparam = a_lparam
set_right
set_starting_position (a_starting_position: like starting_position)
starting_position`a_starting_position'
require
non_void_starting_position: a_starting_position /= Void
valid_starting_position: a_starting_position.exists
set_target (a_target: STRING_GENERAL)
target`a_target'
require
non_void_target: a_target /= Void
valid_target: not a_target.is_empty
ensure
target_set: target.is_equal (a_target)
set_upwards
feature
structure_size: INTEGER_32
ensure WEL_STRUCTURE
positive_result: Result > 0
feature
io: STD_FILES
ANY
out: STRING_8
ANYtagged_out
ANY
print (some: ANY)
`some'
ANY
frozen tagged_out: STRING_8
ANYout
ANY
feature
operating_environment: OPERATING_ENVIRONMENT
ANY
feature
is_valid_list_view_flag (a_flag: INTEGER_32): BOOLEAN
`a_flag'
WEL_LVFI_CONSTANTS
invariant
valid_direction: (upwards implies (not downwards and not right and not left)) and (downwards implies (not upwards and not right and not left)) and (right implies (not upwards and not downwards and not left)) and (left implies (not upwards and not downwards and not right))
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
indexing
copyright: "Copyright (c) 1984-2006, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com
]"
end WEL_LIST_VIEW_SEARCH_INFO