Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.utility

Class EM_LOGGING


Known direct descendants

EM_COLLIDABLE

Features

Invariants

indexing

description

Inherit from EM_LOGGING in order to use logging functionality.
Please use the debug/end construct to encapsulate the output,
for performances sake. And also hide the logging functionality
from the clients with "export {NONE} all", unless needed.

By default logging must be disabled, to ensure the posibility
to turn on logging for each module.

Also, do not forget to create the logger with logger.make

date

$Date: 2005/10/23 10:36:32 $

revision

$Revision: 1.3 $

class

EM_LOGGING

feature -- Access

logger: EM_LOGGER

-- the logger object

invariant

logger_created: logger /= void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end