+
Point of view
All features
class WEB_APPLICATION
Summary
top
Direct parents
Inherit list: UI_TYPED_BRIDGE_APPLICATION
Insert list: LOGGING, WEB_ITEM
Class invariant
top
Overview
top
Creation features
{WEB_JOB}
Features
{ANY}
{}
{UI_APPLICATION}
{}
{}
{}
{UI_JOB}
{}
  • 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.
{ANY}
{}
new_server: SOCKET_SERVER
effective function
{ANY}
top
reply (context: WEB_CONTEXT)
effective procedure
{ANY}
top
require
  • context /= Void
reply_get (context: WEB_CONTEXT)
effective procedure
{}
top
require
  • context /= Void
add (a_window: WEB_WINDOW)
effective procedure
{UI_APPLICATION}
top
window (context: WEB_CONTEXT): WEB_WINDOW
effective function
{}
top
address: IPV4_ADDRESS
effective function
{}
top
access: TCP_ACCESS
effective function
{}
top
conf_section: STRING
is "web"
constant attribute
{}
top
writable attribute
{}
top
make (a_ui: UI_APPLICATION)
effective procedure
{}
top
require
  • a_ui /= Void
ensure
  • ui = a_ui
effective function
{}
top
conf_: JSON_OBJECT
writable attribute
{}
top
read_conf: JSON_OBJECT
effective function
{}
top
deferred function
{}
top
ensure
  • interned: Result.intern = Result
connect_to (a_job: UI_JOB)
deferred procedure
{UI_JOB}
top
log: LOGGER
effective function
{}
top
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
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.
ui: UI_
writable attribute
{ANY}
top
job: WEB_JOB
writable attribute
{}
top