+
Point of view
All features
class WEB_PANEL
Summary
top
Direct parents
Inherit list: UI_TYPED_BRIDGE_PANEL
Insert list: WEB_WIDGET
Class invariant
top
Overview
top
Creation features
{WEB_JOB}
Features
{UI_PANEL}
{WEB_ITEM}
{}
{UI_JOB}
{ANY}
{}
add (a_child: WEB_WIDGET[UI_WIDGET])
effective procedure
{UI_PANEL}
top
save (context: WEB_CONTEXT)
effective procedure
{WEB_ITEM}
top
run (context: WEB_CONTEXT)
effective procedure
{WEB_ITEM}
top
retrieve_name (a_name: STRING, a_extension: COLLECTION[STRING]): ABSTRACT_STRING
effective function
{WEB_ITEM}
top
writable attribute
{}
top
make (a_ui: UI_PANEL)
effective procedure
{}
top
require
  • a_ui /= Void
ensure
  • ui = a_ui
connect_to (a_job: UI_JOB)
deferred procedure
{UI_JOB}
top
ui: UI_
writable attribute
{ANY}
top
effective function
{ANY}
top
ensure
  • Result.intern = Result
job: WEB_JOB
writable attribute
{}
top