Diagnostic event journaling (basis).
This module defines the core module types of a lightweight foundation for diagnostic event journaling, similar to the core Java classes in the Log4j project from the Apache Foundation.
The core interface of the
f_journal
module is functorial, and is intended for extensibility.
module type Profile = sig ... endA profile of diagnostic event journaling module.
Use Create(P) to create journaling module with priority ordering P.
module Basic : sig ... endA module defining basic diagnostic event journaling with a simple set of priority levels associated to integer priority codes.
class 'level basic_prioritizer : [> Basic.level ] as 'level Basic.prioritizerThe basic prioritizer class, defining the priority codes and message tags for all of the basic priority levels: `Invalid, `Fail, `Error, `Warn, `Info and `Debug. Derive a subclass to define a prioritizer for additional priority levels corresponding to other integer codes.
class 'event basic_channel_archiver : out_channel -> object ... endThe basic channel archiver. Use new basic_channel_archiver c to construct an archiver that emits each basic event e with a priority level less than `Fail to the channel c using Printf.fprintf c "%s: %s\n"
e#prioritizer#tag e#message.
class virtual 'archiver basic_agent : 'level basic_prioritizer -> 'level -> 'archiver list -> object ... endThe basic journaling agent. Derive a subclass to define an agent that can construct events derived from the basic event (which may also require archivers derived from the basic archiver that can format any additional required output). The class defines six public methods for output of diagnostic events, one for each basic priority level.
type t = Basic.level Basic.event Basic.archiver basic_agentThe type of the most basic agent, used for stdout and stderr below.
val stdout : tA basic agent, initially set with a limit of `Notice, and with with one basic archiver for the Stdlib.stdout channel.
val stderr : tA basic agent, initially set with a limit of `Notice, and with with one basic archiver for the Stdlib.stderr channel.