+
Point of view
All features
class UI_BUTTON
Summary
Direct parents
Inherit list: UI_WIDGET
Class invariant
Overview
writable attribute
{ANY}
set_label (a_label: UNICODE_STRING)
effective procedure
{ANY}
on_click (action: PROCEDURE[TUPLE 1[UI_BUTTON]])
effective procedure
{ANY}
require
  • action /= Void
click
effective procedure
{ANY}
make (a_id: ABSTRACT_STRING)
effective procedure
{}
require
  • a_id /= Void
ensure
  • id = a_id.intern
actions: FAST_ARRAY[PROCEDURE[TUPLE 1[UI_BUTTON]]]
writable attribute
{}
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{}
require
  • a_job /= Void
_inline_agent28 (action: PROCEDURE[TUPLE 1[UI_BUTTON]])
frozen
effective procedure
{}
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
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
{}