indexing
description: "[
Contains information about a tab control item.
Note: There are two creation procedure. If you want to create
the item with make, you will then have to add a wel
window by yourself. This window must be create with
the tab control as parent and it must be added to the
item before the item is added to the tab_control.
If you use make_with_window, you still can set another
window, but you will have to do this before to add the
item to the tab_control.
]"
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_TAB_CONTROL_ITEM
create
make
make_with_window (a_parent: WEL_TAB_CONTROL)
make_by_pointer (a_pointer: POINTER)
item`a_pointer'
item
`a_pointer'
WEL_ANY
ensure WEL_ANY
item_set: item = a_pointer
shared: shared
feature
generating_type: STRING_8
ANY
generator: STRING_8
ANY
iimage: INTEGER_32
`Current'
item: POINTER
WEL_ANY
mask: INTEGER_32
text: STRING_32
ensure
result_not_void: Result /= Void
window: WEL_WINDOW
feature
structure_size: INTEGER_32
ensure WEL_STRUCTURE
positive_result: Result > 0
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)
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_iimage (image_index: INTEGER_32)
`image_index'
set_item (an_item: POINTER)
item`an_item'
WEL_ANY
ensure WEL_ANY
item_set: item = an_item
set_mask (a_mask: INTEGER_32)
mask`a_mask'
ensure
mask_set: mask = a_mask
set_text (a_text: STRING_GENERAL)
text`a_text'
require
a_text_not_void: a_text /= Void
ensure
text_set: text.is_equal (a_text)
set_window (a_window: WEL_WINDOW)
`a_window'
require
a_window_not_void: a_window /= Void
inside_window: a_window.is_inside
ensure
window_set: window = a_window
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
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
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
invariant
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_TAB_CONTROL_ITEM