indexing
description: "Logging event."
project: "Project Goanna <http://sourceforge.net/projects/goanna>"
library: "log4e"
date: "$Date$"
revision: "$Revision$"
author: "Glenn Maughan <glennmaughan@goanna.info>"
copyright: "Copyright (c) 2002 Glenn Maughan"
license: "Eiffel Forum License v1 (see forum.txt)."
class interface
L4E_EVENT
create
make (log: L4E_LOGGER; event_priority: L4E_PRIORITY; event_message: ANY)
require
cat_exists: log /= void
event_priority_exists: event_priority /= void
event_message_exists: event_message /= void
feature
system_clock: DT_SYSTEM_CLOCK
DT_SHARED_SYSTEM_CLOCK
ensure DT_SHARED_SYSTEM_CLOCK
system_clock_not_void: Result /= void
utc_system_clock: DT_UTC_SYSTEM_CLOCK
DT_SHARED_SYSTEM_CLOCK
ensure DT_SHARED_SYSTEM_CLOCK
utc_system_clock_not_void: Result /= void
feature
as_storable: L4E_STORABLE_EVENT
feature
make (log: L4E_LOGGER; event_priority: L4E_PRIORITY; event_message: ANY)
require
cat_exists: log /= void
event_priority_exists: event_priority /= void
event_message_exists: event_message /= void
feature
logger: L4E_LOGGER
message: ANY
priority: L4E_PRIORITY
rendered_message: STRING
time_stamp: DT_DATE_TIME
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- L4E_EVENT
Goanna Log4E -- Copyright © 2002 Glenn Maughan