+
Point of view
All features
deferred class WEB_ITEM [UI_ -> UI_ITEM]
Summary
top
Direct parents
Insert list: UI_TYPED_BRIDGE_ITEM
Known children
Insert list: WEB_APPLICATION, WEB_MENU, WEB_MENU_ITEM, WEB_WIDGET, WEB_WINDOW
Class invariant
top
Overview
top
Features
{ANY}
{UI_JOB}
{}
ui: UI_
writable attribute
{ANY}
top
effective function
{ANY}
top
ensure
  • Result.intern = Result
connect_to (a_job: WEB_JOB)
effective procedure
{UI_JOB}
top
make (a_ui: UI_)
effective procedure
{}
top
require
  • a_ui /= Void
ensure
  • ui = a_ui
job: WEB_JOB
writable attribute
{}
top