package orsetto
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654
md5=00393728b481c2bf15919a8202732335
doc/orsetto.cf/Cf_journal/Create/index.html
Module Cf_journal.Create
Use Create(P) to create journaling module with priority ordering P.
Parameters
module P : Cf_relations.OrderSignature
class 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.