GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
UI_ITEM
+
Point of view
All features
ANY
All features
deferred class UI_ITEM
Summary
top
Direct parents
Insert list:
ANY
Known children
Insert list:
UI_COLLECTION
,
UI_MENU_ITEM
,
UI_WIDGET
,
UI_WINDOW
Class invariant
top
has_id:
id
/= Void
constant_id:
id
=
id_memory
interned_id:
id
.intern =
id
Overview
top
Features
{
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
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