+
Point of view
All features
class UI_WINDOW
Summary
top
Direct parents
Insert list: UI_ITEM
Class invariant
top
Overview
top
panel: UI_PANEL
writable attribute
{ANY}
top
menu: UI_MENU
writable attribute
{ANY}
top
writable attribute
{ANY}
top
set_title (a_title: UNICODE_STRING)
effective procedure
{ANY}
top
connect_to (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{ANY}
top
require
  • a_job /= Void
make (a_id: ABSTRACT_STRING)
effective procedure
{}
top
require
  • a_id /= Void
ensure
  • id = a_id.intern
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{}
top
require
  • a_job /= Void
writable attribute
{ANY}
top
id_memory: FIXED_STRING
effective function
{}
top
id_memory_: FIXED_STRING
writable attribute
{}
top
writable attribute
{}
top
_inline_agent25 (item: WEAK_REFERENCE[UI_CONNECT_ITEM], new: UI_CONNECT_ITEM): BOOLEAN
frozen
effective function
{}
top