indexing
description: "[
Objects that permit graphical drawing operations to be performed which respect the
theming state of Windows.
]"
legal: "See notice at end of class."
status: "See notice at end of class."
date: "$Date: 2006-04-07 18:04:39 -0700 (Fri, 07 Apr 2006) $"
revision: "$Revision: 58114 $"
deferred class interface
EV_THEME_DRAWER_IMP
feature
generating_type: STRING_8
ANY
generator: STRING_8
ANY
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))
is_equal (other: like Current): BOOLEAN
`other'
ANY
require ANY
other_not_void: other /= Void
ensure ANY
symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result
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
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))
feature
copy (other: like Current)
`other'
ANY
require ANY
other_not_void: other /= Void
type_identity: same_type (other)
ensure ANY
is_equal: is_equal (other)
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
close_theme_data (item: POINTER)
`item'
frozen default: like Current
ANY
frozen default_pointer: POINTER
`POINTER'
`p'default
`p'`POINTER'
ANY
default_rescue
ANY
frozen do_nothing
ANY
draw_bitmap_on_dc (dc: WEL_DC; a_bitmap, mask_bitmap: WEL_BITMAP; an_x, a_y: INTEGER_32; is_sensitive: BOOLEAN)
`a_bitmap'`dc'`an_x'`a_y'
`is_sensitive'`a_bitmap'`is_sensitive'
require
dc_not_void: dc /= Void
a_bitmap_not_void: a_bitmap /= Void
draw_button_edge (memory_dc: WEL_DC; a_state_id: INTEGER_32; a_rect: WEL_RECT)
`memory_dc'`a_state_id'
`a_rect'
require
memory_dc_not_void: memory_dc /= Void
a_rect_not_void: a_rect /= Void
draw_notebook_background (notebook: EV_NOTEBOOK_IMP; a_hdc: WEL_DC; a_rect: WEL_RECT; background_brush: WEL_BRUSH)
`notebook'`a_hdc'`a_rect'`background_brush'
require
notebook_not_void: notebook /= Void
a_hdc_not_void: a_hdc /= Void
a_rect_not_void: a_rect /= Void
background_brush /= Void
draw_text (theme: POINTER; a_hdc: WEL_DC; a_part_id, a_state_id: INTEGER_32; text: STRING_GENERAL; dw_text_flags: INTEGER_32; is_sensitive: BOOLEAN; a_content_rect: WEL_RECT; foreground_color: EV_COLOR_IMP)
`text'`theme'`a_hdc'`a_content_rect'`a_part_id'`a_state_id'`is_sensitive'`foreground_color'
require
a_hdc_not_void: a_hdc /= Void
text_not_void: text /= Void
a_content_rect_not_void: a_content_rect /= Void
foreground_color_not_void: foreground_color /= Void
draw_theme_background (theme: POINTER; a_hdc: WEL_DC; a_part_id, a_state_id: INTEGER_32; a_rect, a_clip_rect: WEL_RECT; background_brush: WEL_BRUSH)
`theme'`a_hdc'`a_part_id'`a_state_id'
`a_rect'`a_clip_rect'`background_brush'
require
a_hdc_not_void: a_hdc /= Void
a_rect_not_void: a_rect /= Void
background_brush_not_void: background_brush /= Void
draw_theme_parent_background (wel_item: POINTER; a_hdc: WEL_DC; a_rect: WEL_RECT; background_brush: WEL_BRUSH)
`wel_item'`parent'`a_hdc'
`a_rect'`background_brush'
require
wel_item_exists: wel_item /= default_pointer
a_hdc_not_void: a_hdc /= Void
a_rect_not_void: a_rect /= Void
draw_widget_background (a_widget: EV_WIDGET_IMP; a_hdc: WEL_DC; a_rect: WEL_RECT; background_brush: WEL_BRUSH)
`a_widget'`a_hdc'`a_rect'`background_brush'
require
a_widget_not_void: a_widget /= Void
a_hdc_not_void: a_hdc /= Void
a_rect_not_void: a_rect /= Void
background_brush_not_void: background_brush /= Void
get_window_theme (item: POINTER): POINTER
`item'
require
item_not_default_pointer: item /= default_pointer
internal_draw_text (item: POINTER; dc: WEL_DC; text: STRING_GENERAL; r: WEL_RECT; flags: INTEGER_32; is_sensitive: BOOLEAN; foreground_color: EV_COLOR_IMP)
`text'`Current'`dc'`r'
`is_sensitive'
open_theme_data (item: POINTER; class_name: STRING_GENERAL): POINTER
`item'
`class_name'
require
item_exists: item /= default_pointer
class_name_not_void: class_name /= Void
update_button_pixmap_coordinates_for_state (open_theme: POINTER; a_state: INTEGER_32; coordinate: EV_COORDINATE)
`coordinate'`a_state'
require
coordinate_not_void: coordinate /= Void
update_button_text_rect_for_state (open_theme: POINTER; a_state: INTEGER_32; a_rect: WEL_RECT)
`a_rect'`a_state'
require
a_rect_not_void: a_rect /= Void
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_color_id_valid (a_color_id: INTEGER_32): BOOLEAN
theme_color (a_theme: POINTER; a_color_id: INTEGER_32): EV_COLOR
`a_color_id'
require
valid: is_color_id_valid (a_color_id)
ensure
not_void: Result /= Void
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 EV_THEME_DRAWER_IMP