+
Point of view
All features
deferred class UI_MENU_ITEM
Summary
Direct parents
Insert list: UI_ITEM
Class invariant
Overview
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
{}