elogger API
Overview Classes Cluster Class Index          Top Features

root_cluster.logging.filters

Class ELOG_NEUTRAL_TO_ACCEPT_FILTER


Direct ancestors

ELOG_FILTER

Creation

Features

Invariants

indexing

description

turns the result of a filter to Filter_accept, if it was Filter_neutral

class ELOG_NEUTRAL_TO_ACCEPT_FILTER

inherit

ELOG_FILTER
ELOG_FILTER_CONSTANTS

create

make (a_filter: ELOG_FILTER)

-- turns neutral results into accepts.

require

filter_exists: a_filter /= Void

feature -- Basic operations

decide (event: ELOG_EVENT): INTEGER

-- always returns Filter_accept.
-- (From ELOG_FILTER)

require

event_exists: event /= Void

ensure

valid_result: valid_filter_decision (Result)

feature -- Filter Constants

Filter_accept: INTEGER

-- if 'filters_anded' is set all filters must
-- return Filter_accept to be accepted.
-- (From ELOG_FILTER_CONSTANTS)

Filter_neutral: INTEGER

-- Remaining filters will be consulted to determine
-- if the event should be logged. If there are no
-- remaining filters then the event will be logged.
-- Note: neutral filters are ignored!
-- (From ELOG_FILTER_CONSTANTS)

Filter_reject: INTEGER

-- if 'filters_anded' is not set all filters must
-- return Filter_reject rejected.
-- (From ELOG_FILTER_CONSTANTS)

invariant

filter_not_void: filter /= Void

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

Documentation generated by edoc