+
Point of view
All features
class EIFFELTEST_CLIENT_RESULT
Summary
top
Direct parents
Insert list: LOGGING
Overview
top
Creation features
{ANY}
Features
{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.
done: BOOLEAN
writable attribute
{ANY}
top
status: INTEGER_32
writable attribute
{ANY}
top
require
reply: STRING
writable attribute
{ANY}
top
set_done (a_status: INTEGER_32)
effective procedure
{ANY}
top
require ensure
set_reply (a_reply: STRING)
effective procedure
{ANY}
top
require
  • a_reply /= Void
ensure
success: BOOLEAN
effective function
{ANY}
top
make
effective procedure
{}
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.