Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.widget

Class EM_THEME_DELEGATES



Creation

Features

Invariants

indexing

description

Delegates of a theme.
All widgets call their corresponding factory to create a delegate.

Use EM_SHARED_THEME to access the instance used by widgets.

date

$Date: 2005/10/23 11:07:51 $

revision

$Revision: 1.16 $

class

EM_THEME_DELEGATES

create

make

-- Initialise default values.

feature -- Access

button_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_BUTTON

checkbox_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_CHECKBOX

combobox_delegate_factory: FUNCTION [ANY, TUPLE [], EM_LIST_DELEGATE]

-- Factory function to create new delegate for EM_COMBOBOX

dialog_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_DIALOG

drawable_panel_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_DRAWABLE_PANEL

imagepanel_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_IMAGEPANEL

label_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_LABEL

message_dialog_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_MESSAGE_DIALOG

panel_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_PANEL

progress_bar_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_PROGRESS_BAR

scrollbar_delegate_factory: FUNCTION [ANY, TUPLE [], EM_SLIDER_DELEGATE]

-- Factory function to create new delegate for EM_SCROLLBAR

scrollpanel_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_SCROLLPANEL

slider_delegate_factory: FUNCTION [ANY, TUPLE [], EM_SLIDER_DELEGATE]

-- Factory function to create new delegate for EM_SLIDER

textarea_delegate_factory: FUNCTION [ANY, TUPLE [], EM_TEXTBOX_DELEGATE]

-- Factory function to create new delegate for EM_TEXTAREA

textbox_delegate_factory: FUNCTION [ANY, TUPLE [], EM_TEXTBOX_DELEGATE]

-- Factory function to create new delegate for EM_TEXTBOX

textlist_delegate_factory: FUNCTION [ANY, TUPLE [], EM_LIST_DELEGATE]

-- Factory function to create new delegate for EM_TEXTLIST

window_delegate_factory: FUNCTION [ANY, TUPLE [], EM_WIDGET_DELEGATE]

-- Factory function to create new delegate for EM_WINDOW

feature -- Element change

set_button_delegate_factory (a_factory: like button_delegate_factory)

-- Set button_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
button_delegate_factory_set: button_delegate_factory = a_factory
set_checkbox_delegate_factory (a_factory: like checkbox_delegate_factory)

-- Set checkbox_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
checkbox_delegate_factory_set: checkbox_delegate_factory = a_factory
set_combobox_delegate_factory (a_factory: like combobox_delegate_factory)

-- Set combobox_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
combobox_delegate_factory_set: combobox_delegate_factory = a_factory
set_dialog_delegate_factory (a_factory: like dialog_delegate_factory)

-- Set dialog_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
dialog_delegate_factory_set: dialog_delegate_factory = a_factory
set_drawable_panel_delegate_factory (a_factory: like drawable_panel_delegate_factory)

-- Set drawable_panel_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
drawable_panel_delegate_factory_set: drawable_panel_delegate_factory = a_factory
set_imagepanel_delegate_factory (a_factory: like imagepanel_delegate_factory)

-- Set imagepanel_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
imagepanel_delegate_factory_set: imagepanel_delegate_factory = a_factory
set_label_delegate_factory (a_factory: like label_delegate_factory)

-- Set label_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
label_delegate_factory_set: label_delegate_factory = a_factory
set_message_dialog_delegate_factory (a_factory: like dialog_delegate_factory)

-- Set message_dialog_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
message_dialog_delegate_factory_set: message_dialog_delegate_factory = a_factory
set_panel_delegate_factory (a_factory: like panel_delegate_factory)

-- Set panel_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
panel_delegate_factory_set: panel_delegate_factory = a_factory
set_progress_bar_delegate_factory (a_factory: like progress_bar_delegate_factory)

-- Set progress_bar_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
progress_bar_delegate_factory_set: progress_bar_delegate_factory = a_factory
set_scrollbar_delegate_factory (a_factory: like scrollbar_delegate_factory)

-- Set scrollbar_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
scrollbar_delegate_factory_set: scrollbar_delegate_factory = a_factory
set_scrollpanel_delegate_factory (a_factory: like scrollpanel_delegate_factory)

-- Set scrollpanel_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
scrollpanel_delegate_factory_set: scrollpanel_delegate_factory = a_factory
set_slider_delegate_factory (a_factory: like slider_delegate_factory)

-- Set slider_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
slider_delegate_factory_set: slider_delegate_factory = a_factory
set_textarea_delegate_factory (a_factory: like textarea_delegate_factory)

-- Set textarea_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
textarea_delegate_factory_set: textarea_delegate_factory = a_factory
set_textbox_delegate_factory (a_factory: like textbox_delegate_factory)

-- Set textbox_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
textbox_delegate_factory_set: textbox_delegate_factory = a_factory
set_textlist_delegate_factory (a_factory: like textlist_delegate_factory)

-- Set textlist_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
textlist_delegate_factory_set: textlist_delegate_factory = a_factory
set_window_delegate_factory (a_factory: like window_delegate_factory)

-- Set window_delegate_factory to a_factory.

require
a_factory_not_void: a_factory /= Void
ensure
window_delegate_factory_set: window_delegate_factory = a_factory

feature -- Themes

load_default_delegates

-- Load default delegates.

load_eclipse_delegates

-- Load eclipse delegate.

invariant

window_delegate_factory_not_void: window_delegate_factory /= Void
dialog_delegate_factory_not_void: dialog_delegate_factory /= Void
panel_delegate_factory_not_void: panel_delegate_factory /= Void
imagepanel_delegate_factory_not_void: imagepanel_delegate_factory /= Void
label_delegate_factory_not_void: label_delegate_factory /= Void
textbox_delegate_factory_not_void: textbox_delegate_factory /= Void
textarea_delegate_factory_not_void: textarea_delegate_factory /= Void
textlist_delegate_factory_not_void: textlist_delegate_factory /= Void
combobox_delegate_factory_not_void: combobox_delegate_factory /= Void
button_delegate_factory_not_void: button_delegate_factory /= Void
checkbox_delegate_factory_not_void: checkbox_delegate_factory /= Void
slider_delegate_factory_not_void: slider_delegate_factory /= Void
progress_bar_delegate_factory_not_void: progress_bar_delegate_factory /= Void
scrollpanel_delegate_factory_not_void: scrollpanel_delegate_factory /= Void
scrollbar_delegate_factory_not_void: scrollbar_delegate_factory /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end