Module Wcs_lib.Log

Logging utilities.

Errors

exception Error of string * string

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

val error_recovery : bool Pervasives.ref

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

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

val print_error : string ‑> string ‑> unit

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

Warnings

val warning_message : bool Pervasives.ref

Set if we should display warnings.

val warning : string ‑> string ‑> unit

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

Debug messages

val debug_message : bool Pervasives.ref

Set if we should display debug.

val debug : string ‑> string ‑> unit

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