class READLINE_WINDOW
Summary
Direct parents
Inherit list: UI_TYPED_BRIDGE_WINDOW
Insert list: LOGGING, READLINE_ITEM
Class invariant
Overview
Creation features
Features
{ANY}
{UI_WINDOW}
{READLINE_APPLICATION}
{UI_JOB}
{ANY}
{}
{}
  • 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.
writable attribute
{ANY}
writable attribute
{ANY}
effective function
{ANY}
set_panel (a_panel: READLINE_PANEL)
effective procedure
set_menu (a_menu: READLINE_MENU)
effective procedure
run (context: READLINE_CONTEXT): BOOLEAN
effective function
connect_to (a_job: UI_JOB)
deferred procedure
ui: UI_
writable attribute
{ANY}
effective function
{ANY}
ensure
  • Result.intern = Result
make (a_ui: UI_)
effective procedure
{}
require
  • a_ui /= Void
ensure
  • ui = a_ui
writable attribute
{}
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.