INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "General notions of a Windows application. All WEL ", "applications must define its own descendant of ", "WEL_APPLICATION. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
deferred class WEL_APPLICATION
inherit

WEL_APPLICATION_MAIN_WINDOW
end
feature -- Access

main_window: WEL_COMPOSITE_WINDOW
-- Must be defined as a once funtion to create the
-- application's main_window.
require
once_declaration: application_main_window = void
ensure
result_not_void: Result /= void
parent_main_window_is_void: Result.parent = void

accelerators: WEL_ACCELERATORS
-- Application's accelerators
-- May be redefined (in once) to associate accelerators.

default_show_command: INTEGER
-- Default command used to show `main_window'.
-- May be redefined to have a maximized window for
-- instance.
-- See class WEL_SW_CONSTANTS for values.
feature -- Status report

idle_action_enabled: BOOLEAN

runable: BOOLEAN
-- Can the application be run?
-- (True by default)
-- The user may want to return False if the application
-- can not be executed for any reason.

is_dialog: BOOLEAN
-- Is the main window a dialog box?
feature -- Status setting

enable_idle_action
-- Enable the call to `idle_action' when the message
-- queue is empty.
ensure
idle_action_enabled: idle_action_enabled

disable_idle_action
-- Disable the call to `idle_action' when the message
-- queue is empty.
ensure
idle_action_disabled: not idle_action_enabled
feature -- Basic operations

run
-- Create `main_window' and start the message loop.
require
runable: runable
main_window_not_void: application_main_window /= void
parent_main_window_is_void: application_main_window.parent = void

idle_action
-- Called when the message queue is empty.
-- Useful to perform background operations.
require
idle_action_enabled: idle_action_enabled
end -- class WEL_APPLICATION

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES