A module defining basic diagnostic event journaling with a simple set of priority levels associated to integer priority codes.
Event journaling with integer priority codes.
include Profile with type priority := intclass type 'level prioritizer = object ... endThe class type of prioritizer classes. Defines methods for converting priority levels into 1) their corresponding code, and 2) their corresponding message tag.
class 'level event : 'level prioritizer -> 'level -> string -> object ... endThe minimal class of diagnostic events. Use new event p v m to construct an event object with the prioritizer p, the priority level v, and the message m.
class type 'event archiver = object ... endThe base class for event archivers. Use inherit archiver to derive a subclass that defines the emit method to archive a diagnostic event into a journaling system.
class virtual 'archiver agent : 'level prioritizer -> 'level -> 'archiver list -> object ... endThe base class for journaling agents. Use inherit agent p v s to derive a subclass that defines the private event_ method to construct an event object with a priority level and a message text using the prioritizer p. Sets the initial priority code minimum to v, and the initial list of archivers to s.
The priority level for events indicating that an internal program function has been called with invalid arguments. Code=7000.
The priority level for events indicating that an internal program function has failed, results may have been lost and recovery is not expected. Code=6000.
The priority level for events indicating that a program has encountered invalid input. The program is expected to recover and continue processing further valid input correctly. Code=5000.
The priority level for events indicating that a program has encountered unexpected input, indicating that an external process may have failed. The program is expected to continue processing further input normally. Code=4000.
The priority level for events indicating exceptional information about the processing of the program useful for diagnosing external processes. Code=2000.
The priority level for events indicating normal information about the processing of the program useful for diagnosing external processes. Code=2000.
The priority level for events describing internal processing of the program for the purpose of diagnosing programming errors. Code=1000.
The priority levels corresponding to events that the basic agent has public methods for journaling.
Additional priority levels corresponding to limit levels in the basic event prioritizer used for completely enabling or disabling all messages. These levels do not have message tags defined.