+
Point of view
All features
deferred class UI_WIDGET
Summary
Direct parents
Insert list: UI_ITEM
Known children
Inherit list: UI_BUTTON, UI_PANEL, UI_TEXT_FIELD
Class invariant
Overview
find (a_id: ABSTRACT_STRING): UI_WIDGET
effective function
{ANY}
require
  • a_id /= Void
ensure
  • Result /= Void implies Result.id = a_id.intern
writable attribute
{ANY}
connect_to (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{ANY}
require
  • a_job /= Void
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
deferred function
{}
require
  • a_job /= Void
id_memory: FIXED_STRING
effective function
{}
id_memory_: FIXED_STRING
writable attribute
{}
writable attribute
{}
_inline_agent25 (item: WEAK_REFERENCE[UI_CONNECT_ITEM], new: UI_CONNECT_ITEM): BOOLEAN
frozen
effective function
{}