+
Point of view
All features
class UI_TEXT_FIELD
Summary
Direct parents
Inherit list: UI_WIDGET
Class invariant
Overview
value: STRING
writable attribute
{ANY}
set_value (a_value: STRING)
effective procedure
{ANY}
require
  • a_value /= Void
make (a_id: ABSTRACT_STRING)
effective procedure
{}
require
  • a_id /= Void
ensure
  • id = a_id.intern
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{}
require
  • a_job /= Void
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
{}