elogger API
Overview Classes Cluster Class Index          Top Features

root_cluster.logging.layouts

Class ELOG_SIMPLE_LAYOUT


Direct ancestors

ELOG_LAYOUT, ELOG_SHARED_SYSTEM_CLOCK

Known direct descendants

ELOG_DATE_TIME_LAYOUT, ELOG_TIME_LAYOUT, ELOG_PATTERN_LAYOUT

Features

Invariants

indexing

description

Simple layout using 'priority - message'

class ELOG_SIMPLE_LAYOUT

inherit

ELOG_LAYOUT

feature -- Rendering

footer: STRING

-- Format a footer for this layout.
-- (From ELOG_LAYOUT)

ensure

footer_exists: Result /= Void

format (event: ELOG_EVENT): STRING

-- Format contents of 'event' according to this layout's
-- formatting rules.
-- Format is: priority - message
-- (From ELOG_LAYOUT)

require

event_exists: event /= Void

ensure

formatted_exists: Result /= Void

header: STRING

-- Format a header for this layout.
-- (From ELOG_LAYOUT)

ensure

header_exists: Result /= Void

nl: STRING

-- newline
-- (From ELOG_LAYOUT)

invariant


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

Documentation generated by edoc