+
Point of view
All features
deferred class UI_JOB
Summary
Direct parents
Inherit list: JOB
Insert list: LOGGING
Known children
Inherit list: CURSES_JOB, READLINE_JOB, WEB_JOB
Class invariant
Overview
Features
{}
{UI_ITEM}
{}
{}
{JOB, LOOP_ITEM}
{LOOP_ITEM}
Maximum:
{}
Minimum:
{}
Bits:
{}
{}
  • log: LOGGER
    There is one logger per concrete type; for performance reasons it is cached in each instance.
  • log_memory__0_: LOGGER
    The cached logger.
connect (a_application: UI_APPLICATION, a_on_new_job: PROCEDURE[TUPLE 1[JOB]])
effective procedure
{}
application: UI_TYPED_BRIDGE_APPLICATION[UI_JOB, UI_TYPED_BRIDGE_WINDOW[UI_JOB, UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]], UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]]
writable attribute
{}
on_new_job: PROCEDURE[TUPLE 1[JOB]]
writable attribute
{}
connect_bridge_application (ui: UI_APPLICATION): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_APPLICATION[UI_JOB, UI_TYPED_BRIDGE_WINDOW[UI_JOB, UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]], UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]]]
effective function
connect_bridge_window (ui: UI_WINDOW): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_WINDOW[UI_JOB, UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]], UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]]
effective function
connect_bridge_panel (ui: UI_PANEL): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]]]
effective function
connect_bridge_menu (ui: UI_MENU): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]
effective function
connect_bridge_text_field (ui: UI_TEXT_FIELD): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_TEXT_FIELD[UI_JOB]]
effective function
connect_bridge_button (ui: UI_BUTTON): UI_CONNECT_TYPED_ITEM[UI_TYPED_BRIDGE_BUTTON[UI_JOB]]
effective function
new_bridge_application (ui: UI_APPLICATION): UI_TYPED_BRIDGE_APPLICATION[UI_JOB, UI_TYPED_BRIDGE_WINDOW[UI_JOB, UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]], UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]]
deferred function
{}
new_bridge_window (ui: UI_WINDOW): UI_TYPED_BRIDGE_WINDOW[UI_JOB, UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]], UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]]
deferred function
{}
new_bridge_panel (ui: UI_PANEL): UI_TYPED_BRIDGE_PANEL[UI_JOB, UI_TYPED_BRIDGE_WIDGET[UI_JOB]]
deferred function
{}
new_bridge_menu (ui: UI_MENU): UI_TYPED_BRIDGE_MENU[UI_JOB, UI_TYPED_BRIDGE_MENU_ITEM[UI_JOB]]
deferred function
{}
new_bridge_text_field (ui: UI_TEXT_FIELD): UI_TYPED_BRIDGE_TEXT_FIELD[UI_JOB]
deferred function
{}
new_bridge_button (ui: UI_BUTTON): UI_TYPED_BRIDGE_BUTTON[UI_JOB]
deferred function
{}
_inline_agent18 (job: JOB)
frozen
effective procedure
{}
priority: INTEGER_32
writable attribute
never change a job's priority after inserting it in loop_item.
prepare (events: EVENTS_SET)
deferred procedure
Use events to describe condition that make this job ready to continue.
is_ready (events: EVENTS_SET): BOOLEAN
deferred function
Check if this job is ready to continue his work.
continue
deferred procedure
Continue to do the job.
done: BOOLEAN
deferred function
done returns True when the job is finished.
restart
deferred procedure
Configure the job like in its initial state.
infix "<" (other: JOB): BOOLEAN
effective function
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
Real_bits: INTEGER_32
is 64
constant attribute
{}
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
Number of bits in a value of type POINTER.
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.