package wcs-lib

  1. Overview
  2. Docs

Module Wcs_lib.LogSource

Logging utility.

Errors
Sourceexception Error of string * string

Exception raise in case of error. It is associated with the module name and the error message.

Sourceval error_recovery : bool ref

Set if we should avoid to fail in case of error.

Sourceval error : string -> 'a option -> string -> 'a

error module_name default msg raises Error. If a default value is provided and error_recovery is true, it returns the value instead of raising the exception Error. In this case, the error message is printed.

Sourceval print_error : string -> string -> unit

print_error module_name msg prints the error message msg prefixed with the module name module_name.

Warnings
Sourceval warning : string -> string -> unit

warning module_name msg prints the warning message msg prefixed with the module name module_name.

Debug messages
Sourceval debug_message : bool ref

Set if we should display debug.

Sourceval debug : string -> string -> unit

debug module_name msg prints the debug message msg prefixed with the module name module_name.