Class ELOG_LAYOUT

Known direct descendants

Abstract notion of an event layout formatter.

-- Format a footer for this layout.

deferred

footer_exists: Result /= Void

-- Format contents of 'event' according to this layout's
-- formatting rules

event_exists: event /= Void

deferred

formatted_exists: Result /= Void

-- Format a header for this layout.

deferred

header_exists: Result /= Void

-- newline

-- From ANY

reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)