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