GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
UI_WIDGET
+
Point of view
All features
ANY
All features
deferred class UI_WIDGET
Summary
top
Direct parents
Insert list:
UI_ITEM
Known children
Inherit list:
UI_BUTTON
,
UI_PANEL
,
UI_TEXT_FIELD
Class invariant
top
has_id:
id /= Void
constant_id:
id = id_memory
interned_id:
id.intern = id
Overview
top
Features
{
ANY
}
find
(a_id:
ABSTRACT_STRING
): UI_WIDGET
{
ANY
}
id
:
FIXED_STRING
connect_to
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
{}
connect_bridge
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
id_memory
:
FIXED_STRING
id_memory_
:
FIXED_STRING
registered
:
FAST_ARRAY
[
WEAK_REFERENCE
[
UI_CONNECT_ITEM
]]
{}
_inline_agent25
(item:
WEAK_REFERENCE
[
UI_CONNECT_ITEM
], new:
UI_CONNECT_ITEM
):
BOOLEAN
find
(a_id:
ABSTRACT_STRING
): UI_WIDGET
effective function
{
ANY
}
top
require
a_id /= Void
ensure
Result /= Void implies Result.
id
= a_id.intern
id
:
FIXED_STRING
writable attribute
{
ANY
}
top
connect_to
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
effective function
{
ANY
}
top
require
a_job /= Void
connect_bridge
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
deferred function
{}
top
require
a_job /= Void
id_memory
:
FIXED_STRING
effective function
{}
top
id_memory_
:
FIXED_STRING
writable attribute
{}
top
registered
:
FAST_ARRAY
[
WEAK_REFERENCE
[
UI_CONNECT_ITEM
]]
writable attribute
{}
top
_inline_agent25
(item:
WEAK_REFERENCE
[
UI_CONNECT_ITEM
], new:
UI_CONNECT_ITEM
):
BOOLEAN
frozen
effective function
{}
top