L4E_LAYOUT Flat contracts



Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: 
indexing
	description: "Abstract notion of an event layout formatter."
	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)."

deferred class interface
	L4E_LAYOUT

feature -- Rendering

	footer: STRING
			-- Format a footer for this layout.
		ensure
			footer_exists: Result /= void

	format (event: L4E_EVENT): STRING
			-- Format contents of 'event' according to this layout's
			-- formatting rules
		require
			event_exists: event /= void
		ensure
			formatted_exists: Result /= void

	header: STRING
			-- Format a header for this layout.
		ensure
			header_exists: Result /= void
	
invariant

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

end -- class L4E_LAYOUT

Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: