-- Automatic generation produced by ISE Eiffel --

class interface
     CONTROLS_DEMO

create

     make
                 -- Create the application's dispatcher,
                 -- set the application's main window and run
                 -- the application.
                 -- (from WEL_APPLICATION)

feature -- Access

     application: WEL_APPLICATION
                 -- Current application
                 -- (from WEL_APPLICATION_MAIN_WINDOW)

     application_main_window: WEL_COMPOSITE_WINDOW
                 -- Application's main window
                 -- (from WEL_APPLICATION_MAIN_WINDOW)

     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.
                 -- (from WEL_APPLICATION)
     
feature -- Status report

     idle_action_enabled: BOOLEAN
                 -- Is the idle action enabled?
                 -- (False by default)
                 -- (from WEL_APPLICATION)

     is_application_main_window (window: WEL_COMPOSITE_WINDOW): BOOLEAN
                 -- Is window the application's main window?
                 -- (from WEL_APPLICATION_MAIN_WINDOW)
           require -- from WEL_APPLICATION_MAIN_WINDOW
                 window_not_void: window /= void
           ensure -- from WEL_APPLICATION_MAIN_WINDOW
                 Result = (window = application_main_window)

     is_dialog (hwnd: POINTER): BOOLEAN
                 -- Is the window corresponding to hwnd a dialog box?
                 -- We call the function with a dialog box option,
                 -- if it is indeed a dialog, the result will always
                 -- be non zero, otherwise it is zero.
                 -- (from WEL_APPLICATION)

     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.
                 -- (from WEL_APPLICATION)
     
feature -- Status setting

     disable_idle_action
                 -- Disable the call to idle_action when the message
                 -- queue is empty.
                 -- (from WEL_APPLICATION)
           ensure -- from WEL_APPLICATION
                 idle_action_disabled: not idle_action_enabled

     enable_idle_action
                 -- Enable the call to idle_action when the message
                 -- queue is empty.
                 -- (from WEL_APPLICATION)
           ensure -- from WEL_APPLICATION
                 idle_action_enabled: idle_action_enabled
     
feature -- Basic operations

     idle_action
                 -- Called when the message queue is empty.
                 -- Useful to perform background operations.
                 -- (from WEL_APPLICATION)
           require -- from WEL_APPLICATION
                 idle_action_enabled: idle_action_enabled

     run
                 -- Create main_window and start the message loop.
                 -- (from WEL_APPLICATION)
           require -- from WEL_APPLICATION
                 runable: runable
                 main_window_not_void: application_main_window /= void
                 parent_main_window_is_void: application_main_window.parent = void
     
feature

     accelerators: WEL_ACCELERATORS
                 -- Application's accelerators

     main_window: MAIN_WINDOW
                 -- Create the application's main window
           require -- from WEL_APPLICATION
                 once_declaration: application_main_window = void
           ensure -- from WEL_APPLICATION
                 result_not_void: Result /= void
                 parent_main_window_is_void: Result.parent = void
     
invariant

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

end -- class CONTROLS_DEMO

-- Generated by ISE Eiffel --

-- For more details: www.eiffel.com --