+
Point of view
All features
class UI_APPLICATION
Summary
Direct parents
Insert list: UI_COLLECTION
Class invariant
Overview
Creation features
{ANY}
Features
{}
{}
{ANY}
{ANY}
{}
Other features:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
{ANY}
{}
{}
make (a_id: ABSTRACT_STRING)
effective procedure
{}
require
  • a_id /= Void
ensure
  • id = a_id.intern
writable attribute
{}
connect_bridge (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{}
require
  • a_job /= Void
connect_children (a_connect: UI_CONNECT_ITEM, a_connect_children: FAST_ARRAY[UI_CONNECT_ITEM])
effective procedure
{}
_inline_agent29 (child: UI_CONNECT_ITEM)
frozen
effective procedure
{}
connect_to (a_job: UI_JOB): UI_CONNECT_ITEM
effective function
{ANY}
require
  • a_job /= Void
count: INTEGER_32
effective function
{ANY}
Number of available items in the hoard.
See also is_empty
ensure
  • Result >= 0
is_empty: BOOLEAN
effective function
{ANY}
Is the hoard empty ?
See also count.
ensure
  • definition: Result = count = 0
new_iterator: ITERATOR[UI_]
effective function
{ANY}
ensure
  • Result /= Void
  • Result.generation = generation
item (a_id: ABSTRACT_STRING): UI_
effective function
{ANY}
require
add (a_ui: UI_)
effective procedure
{ANY}
require
  • a_ui /= Void
  • not has(a_ui)
  • not has_id(a_ui.id)
ensure
has (a_ui: UI_): BOOLEAN
effective function
{ANY}
require
  • a_ui /= Void
ensure
  • Result implies item(a_ui.id) = a_ui
has_id (a_id: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
require
  • a_id /= Void
remove (a_ui: UI_)
effective procedure
{ANY}
require
  • a_ui /= Void
ensure
_inline_agent24 (a_child: UI_, a_children: FAST_ARRAY[UI_CONNECT_ITEM])
frozen
effective procedure
{}
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
This feature is obsolete: Use `new_iterator' instead. This historical SmartEiffel feature is badly named.
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
See also for_all, exists, aggregate.
require
  • action /= Void
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
See also for_each, exists, aggregate.
require
  • test /= Void
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
See also for_each, for_all, aggregate.
require
  • test /= Void
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
See also for_each, for_all, exists.
require
  • action /= Void
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
ensure
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
This feature is obsolete: Use `for_each` instead. This feature is not secure because it accepts a FUNCTION, the result of which is lost.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
writable attribute
{ANY}
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
{}