Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: 
indexing
	description: "Logging appender on which logging events can be appended."
	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_APPENDER

feature -- Removal

	dispose
			-- Close this appender when garbage collected. Perform
			-- minimal operations to release resources. Do not call
			-- other object as they may have been garbage collected.
	
feature -- Initialisation

	make (new_name: STRING)
			-- Create new appender with 'name'
		require
			new_name_exists: new_name /= void
	
feature -- Status Report

	is_open: BOOLEAN
			-- Is the appender open for appending?

	layout: L4E_LAYOUT
			-- Layout used to format events for this appender. May be Void
			-- if no layout is used.

	name: STRING
			-- Name of this appender that uniquely
			-- identifies it.
	
feature -- Status Setting

	add_filter (filter: L4E_FILTER)
			-- Add 'filter' to the list of filters to
			-- apply when determining if a log event will
			-- be processed by this appender.
		require
			filter_exists: filter /= void
			filter_not_added: not has_filter (filter)
		ensure
			filter_added: has_filter (filter)

	append (event: L4E_EVENT)
			-- Log event on this appender.
		require
			event_exists: event /= void
			is_open: is_open

	close
			-- Release any resources for this appender.
		ensure
			closed: not is_open

	has_filter (filter: L4E_FILTER): BOOLEAN
			-- Is 'filter' in the list of filters for this
			-- appender?
		require
			filter_exists: filter /= void

	remove_filter (filter: L4E_FILTER)
			-- Remove 'filter' from the list of filters for this
			-- appender.
		require
			filter_exists: filter /= void
			filter_added: has_filter (filter)
		ensure
			filter_removed: not has_filter (filter)

	set_layout (new_layout: L4E_LAYOUT)
			-- Set the layout that this appender should use.
		require
			layout_exists: new_layout /= void

	set_name (new_name: STRING)
			-- Set the name of this appender
		require
			name_exists: new_name /= void
	
invariant

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

end -- class L4E_APPENDER


Classes
Clusters
Cluster hierarchy
Relations
Contracts
Flat contracts
Go to: 

Goanna Log4E -- Copyright © 2002 Glenn Maughan