package orsetto
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b
md5=f7bfa83013801b42fcdba607af2f012b
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.