package wcs-lib

  1. Overview
  2. Docs

Logging utility.

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