GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
WEB_WINDOW
+
Point of view
All features
ANY
JOB
LOOP_ITEM
UI_ITEM
UI_WINDOW
WEB_APPLICATION
WEB_ITEM
All features
class WEB_WINDOW
Summary
top
Direct parents
Inherit list:
UI_TYPED_BRIDGE_WINDOW
Insert list:
LOGGING
,
WEB_ITEM
Class invariant
top
ui /= Void
Overview
top
Creation features
Features
{
ANY
}
panel
:
WEB_PANEL
menu
:
WEB_MENU
title
:
UNICODE_STRING
{
UI_WINDOW
}
set_panel
(a_panel:
WEB_PANEL
)
set_menu
(a_menu:
WEB_MENU
)
{
WEB_APPLICATION
}
reply
(context:
WEB_CONTEXT
)
{
WEB_ITEM
}
save
(context:
WEB_CONTEXT
)
gather static data (field contents and so on)
run
(context:
WEB_CONTEXT
)
execute actions (button clicks etc.)
retrieve_name
(a_name:
STRING
, a_extension:
COLLECTION
[
STRING
]):
ABSTRACT_STRING
{}
template_parser
:
WEB_TEMPLATE_PARSER
{
UI_JOB
}
connect_to
(a_job:
UI_JOB
)
{
ANY
}
ui
: UI_
id
:
FIXED_STRING
{}
make
(a_ui: UI_)
job
:
WEB_JOB
{}
log
:
LOGGER
There is one logger per concrete type; for performance reasons it is cached in each instance.
log_memory__0_
:
LOGGER
The cached logger.
panel
:
WEB_PANEL
writable attribute
{
ANY
}
top
menu
:
WEB_MENU
writable attribute
{
ANY
}
top
title
:
UNICODE_STRING
effective function
{
ANY
}
top
set_panel
(a_panel:
WEB_PANEL
)
effective procedure
{
UI_WINDOW
}
top
set_menu
(a_menu:
WEB_MENU
)
effective procedure
{
UI_WINDOW
}
top
reply
(context:
WEB_CONTEXT
)
effective procedure
{
WEB_APPLICATION
}
top
require
context /= Void
save
(context:
WEB_CONTEXT
)
effective procedure
{
WEB_ITEM
}
top
gather static data (field contents and so on)
run
(context:
WEB_CONTEXT
)
effective procedure
{
WEB_ITEM
}
top
execute actions (button clicks etc.)
retrieve_name
(a_name:
STRING
, a_extension:
COLLECTION
[
STRING
]):
ABSTRACT_STRING
effective function
{
WEB_ITEM
}
top
template_parser
:
WEB_TEMPLATE_PARSER
once function
{}
top
connect_to
(a_job:
UI_JOB
)
deferred procedure
{
UI_JOB
}
top
ui
: UI_
writable attribute
{
ANY
}
top
id
:
FIXED_STRING
effective function
{
ANY
}
top
ensure
Result.intern = Result
make
(a_ui: UI_)
effective procedure
{}
top
require
a_ui /= Void
ensure
ui
= a_ui
job
:
WEB_JOB
writable attribute
{}
top
log
:
LOGGER
effective function
{}
top
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
Result /= Void
log_memory__0_
:
LOGGER
writable attribute
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.