GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
LOG_LEVEL
+
Point of view
All features
ANY
LOGGER
All features
class LOG_LEVEL
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
tag
/= Void
Overview
top
Creation features
{
LOG_LEVELS
}
make
(a_level:
INTEGER_32
, a_tag:
FIXED_STRING
)
Features
{
ANY
}
level
:
INTEGER_32
tag
:
FIXED_STRING
{
LOGGER
}
stream
(a_logger:
LOGGER
):
OUTPUT_STREAM
does_log
(a_level: LOG_LEVEL):
BOOLEAN
{}
make
(a_level:
INTEGER_32
, a_tag:
FIXED_STRING
)
bottomless_pit
:
OUTPUT_STREAM
level
:
INTEGER_32
writable attribute
{
ANY
}
top
tag
:
FIXED_STRING
writable attribute
{
ANY
}
top
stream
(a_logger:
LOGGER
):
OUTPUT_STREAM
effective function
{
LOGGER
}
top
require
a_logger /= Void
ensure
Result /= Void
does_log
(a_level: LOG_LEVEL):
BOOLEAN
effective function
{
LOGGER
}
top
require
a_level /= Void
make
(a_level:
INTEGER_32
, a_tag:
FIXED_STRING
)
effective procedure
{}
top
require
a_tag /= Void
ensure
level
= a_level
tag
= a_tag
bottomless_pit
:
OUTPUT_STREAM
once function
{}
top