Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package vlt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Vlt.TreeSource
This module is responsible for the management of loggers, stored in a tree.
Source
type logger_info = {name : Name.t;(*Logger name.
*)level : Level.t;(*Logger level, filtering events with a greater level.
*)filter : Filter.t lazy_t;(*Logger filter, selecting events to record.
*)pass : Filter.t lazy_t;(*Logger pass filter, selecting events to record.
*)layout : Layout.t lazy_t;(*Logger layout, defining how events are recorded.
*)mode : Mode.t;(*Logger mode, defining when events are recorded.
*)output : Output.impl lazy_t;(*Logger output, defining where events are recorded.
*)
}The type of loggers.
Registers the passed logger, making it able to receive events.
Returns the list of all loggers that may receive an event initially sent to the loggers whose name is passed. Each element of the returned list is a (n, l) couple where all loggers appearing in l are guaranteed to have a name equal to n.