package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Use Create(P) to create journaling module with priority ordering P.

Parameters

Signature

class type 'level prioritizer = object ... end

The 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 ... end

The 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 ... end

The 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 ... end

The 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.