+
Point of view
All features
class LOGGER
Summary
top
A simple logger.
Direct parents
Insert list: ANY
Class invariant
top
Overview
top
Creation features
{LOG_INTERNAL_CONF}
Features
{ANY}
Logging streams
{ANY}
Logging checks
{ANY}
Log level
{ANY}
Parent logger
{LOG_INTERNAL_CONF}
Log output, internal usage only
{LOG_INTERNAL_CONF, LOG_LEVEL}
{LOGGING}
{}
{LOG_INTERNAL_CONF}
parent: LOGGER
writable attribute
{ANY}
top
level: LOG_LEVEL
writable attribute
{ANY}
top
writable attribute
{ANY}
top
effective function
{ANY}
top
ensure
  • Result /= Void
effective function
{ANY}
top
ensure
  • Result /= Void
warning: OUTPUT_STREAM
effective function
{ANY}
top
ensure
  • Result /= Void
effective function
{ANY}
top
ensure
  • Result /= Void
is_trace: BOOLEAN
effective function
{ANY}
top
is_info: BOOLEAN
effective function
{ANY}
top
is_warning: BOOLEAN
effective function
{ANY}
top
is_error: BOOLEAN
effective function
{ANY}
top
set_level (a_level: LOG_LEVEL)
effective procedure
{ANY}
top
require
  • a_level /= Void
ensure
set_parent (a_parent: LOGGER)
effective procedure
{LOG_INTERNAL_CONF}
top
require
  • a_parent /= Void
ensure
output: LOG_OUTPUT
writable attribute
{LOG_INTERNAL_CONF, LOG_LEVEL}
top
is_valid: BOOLEAN
effective function
{LOGGING}
top
make (a_output: LOG_OUTPUT, a_tag: FIXED_STRING, a_id: INTEGER_32)
effective procedure
{}
top
require
  • a_output /= Void
ensure
levels: LOG_LEVELS
writable attribute
{}
top
generation_id: INTEGER_32
writable attribute
{LOG_INTERNAL_CONF}
top