home
classes/clusters list
class information
+
Point of view
ANY
ANY
TYPED_INTERNALS
INTERNALS_HANDLER
All features
expanded class SUI
Summary
top
Facade to use if you want a Smart User Interface
Direct parents
insert list:
ANY
Known children
insert list:
SUI_CONTAINER
,
SUI_MENU_ITEM
,
SUI_WIDGET
Overview
top
exported features
set_factory
(a_factory:
SUI_FACTORY
)
Installs the UI
factory
.
factory
:
SUI_FACTORY
The installed UI
factory
.
Screen life cycle:
new_screen
,
enable
,
disable
,
end_screen
.
screen
:
SUI_ROOT
The root, which contains one or more forms
new_screen
Create a new (modal)
screen
enable
(home:
SUI_FORM
)
Starts catching events for the
screen
disable
Stops catching events for the
screen
end_screen
Destroys the
screen
is_enabled
:
BOOLEAN
Is the
screen
catching events?
on_stop
(stop_action:
PROCEDURE
[
TUPLE
])
set_factory
(a_factory:
SUI_FACTORY
)
once procedure
top
Installs the UI
factory
.
It can be called only once.
require
a_factory /= Void
ensure
factory
= a_factory
factory
:
SUI_FACTORY
effective function
top
The installed UI
factory
.
screen
:
SUI_ROOT
effective function
top
The root, which contains one or more forms
require
initialized:
factory
/= Void
new_screen
effective procedure
top
Create a new (modal)
screen
require
no_screen_or_enabled:
screen
= Void or else
is_enabled
initialized:
factory
/= Void
ensure
screen
/= Void
not
is_enabled
enable
(home:
SUI_FORM
)
effective procedure
top
Starts catching events for the
screen
require
screen
/= Void
disabled:
not
is_enabled
initialized:
factory
/= Void
ensure
finishes_when_disabled:
not
is_enabled
disable
effective procedure
top
Stops catching events for the
screen
require
is_enabled
initialized:
factory
/= Void
ensure
disabled:
not
is_enabled
end_screen
effective procedure
top
Destroys the
screen
require
screen
/= Void
disabled:
not
is_enabled
initialized:
factory
/= Void
ensure
no_screen_or_enabled:
screen
/= Void implies
is_enabled
is_enabled
:
BOOLEAN
effective function
top
Is the
screen
catching events?
require
initialized:
factory
/= Void
ensure
Result implies
screen
/= Void
on_stop
(stop_action:
PROCEDURE
[
TUPLE
])
effective procedure
top