GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
UI_BUTTON
+
Point of view
All features
ANY
All features
class UI_BUTTON
Summary
top
Direct parents
Inherit list:
UI_WIDGET
Class invariant
top
has_id:
id /= Void
constant_id:
id = id_memory
interned_id:
id.intern = id
Overview
top
Creation features
{
ANY
}
make
(a_id:
ABSTRACT_STRING
)
Features
{
ANY
}
label
:
UNICODE_STRING
set_label
(a_label:
UNICODE_STRING
)
{
ANY
}
on_click
(action:
PROCEDURE
[
TUPLE 1
[UI_BUTTON]])
click
{}
make
(a_id:
ABSTRACT_STRING
)
actions
:
FAST_ARRAY
[
PROCEDURE
[
TUPLE 1
[UI_BUTTON]]]
{}
connect_bridge
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
{}
_inline_agent28
(action:
PROCEDURE
[
TUPLE 1
[UI_BUTTON]])
{
ANY
}
find
(a_id:
ABSTRACT_STRING
):
UI_WIDGET
{
ANY
}
id
:
FIXED_STRING
connect_to
(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
label
:
UNICODE_STRING
writable attribute
{
ANY
}
top
set_label
(a_label:
UNICODE_STRING
)
effective procedure
{
ANY
}
top
on_click
(action:
PROCEDURE
[
TUPLE 1
[UI_BUTTON]])
effective procedure
{
ANY
}
top
require
action /= Void
click
effective procedure
{
ANY
}
top
make
(a_id:
ABSTRACT_STRING
)
effective procedure
{}
top
require
a_id /= Void
ensure
id
= a_id.intern
actions
:
FAST_ARRAY
[
PROCEDURE
[
TUPLE 1
[UI_BUTTON]]]
writable attribute
{}
top
connect_bridge
(a_job:
UI_JOB
):
UI_CONNECT_ITEM
effective function
{}
top
require
a_job /= Void
_inline_agent28
(action:
PROCEDURE
[
TUPLE 1
[UI_BUTTON]])
frozen
effective procedure
{}
top
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
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