+
Point of view
All features
class LOG_LEVEL
Summary
Direct parents
Insert list: ANY
Class invariant
Overview
Creation features
{LOG_LEVELS}
Features
{ANY}
{LOGGER}
{}
level: INTEGER_32
writable attribute
{ANY}
writable attribute
{ANY}
stream (a_logger: LOGGER): OUTPUT_STREAM
effective function
require
  • a_logger /= Void
ensure
  • Result /= Void
does_log (a_level: LOG_LEVEL): BOOLEAN
effective function
require
  • a_level /= Void
make (a_level: INTEGER_32, a_tag: FIXED_STRING)
effective procedure
{}
require
  • a_tag /= Void
ensure
bottomless_pit: OUTPUT_STREAM
once function
{}