+
Point of view
All features
deferred class UI_COLLECTION [UI_ -> UI_ITEM]
Summary
Direct parents
Inherit list: ITERABLE
Insert list: UI_ITEM
Known children
Insert list: UI_APPLICATION, UI_MENU, UI_PANEL
Class invariant
Overview
Features
{ANY}
{ANY}
{UI_COLLECTION}
{}
{}
Other features:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
{ANY}
{}
{}
connect_to (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{ANY}
count: INTEGER_32
effective function
{ANY}
Number of available items in the hoard.
is_empty: BOOLEAN
effective function
{ANY}
Is the hoard empty ?
See also count.
new_iterator: ITERATOR[UI_]
effective function
{ANY}
item (a_id: ABSTRACT_STRING): UI_
effective function
{ANY}
add (a_ui: UI_)
effective procedure
{ANY}
has (a_ui: UI_): BOOLEAN
effective function
{ANY}
has_id (a_id: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
remove (a_ui: UI_)
effective procedure
{ANY}
children: DICTIONARY[UI_, FIXED_STRING]
writable attribute
connect_children (a_connect: UI_CONNECT_ITEM, a_connect_children: FAST_ARRAY[UI_CONNECT_ITEM])
deferred procedure
{}
_inline_agent23 (a_child: UI_, a_children: FAST_ARRAY[UI_CONNECT_ITEM])
frozen
effective procedure
{}
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
writable attribute
{ANY}
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
deferred function
{}
id_memory: FIXED_STRING
effective function
{}
id_memory_: FIXED_STRING
writable attribute
{}
writable attribute
{}
_inline_agent24 (item: WEAK_REFERENCE[UI_CONNECT_ITEM], new: UI_CONNECT_ITEM): BOOLEAN
frozen
effective function
{}