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