Page
Library
Module
Module type
Parameter
Class
Class type
Source
Minidebug_runtime.PrintBoxSourceThe logged traces will be pretty-printed as trees using the `printbox` package. This logger supports conditionally disabling a particular nesting of the logs, regardless of where in the nesting level no_debug_if is called.
module _ : Shared_configinclude Debug_runtimeval open_log :
fname:string ->
start_lnum:int ->
start_colnum:int ->
end_lnum:int ->
end_colnum:int ->
message:string ->
entry_id:int ->
log_level:int ->
[ `Diagn | `Debug | `Track ] ->
unitval open_log_no_source :
message:string ->
entry_id:int ->
log_level:int ->
[ `Diagn | `Debug | `Track ] ->
unitval log_value_sexp :
?descr:string ->
entry_id:int ->
log_level:int ->
is_result:bool ->
Sexplib0.Sexp.t Lazy.t ->
unitval log_value_pp :
?descr:string ->
entry_id:int ->
log_level:int ->
pp:(Format.formatter -> 'a -> unit) ->
is_result:bool ->
'a Lazy.t ->
unitFor PrintBox runtimes, outputs the current logging stack to the logging channel. If the logging channel supports that, an output following a snapshot will rewind the channel to the state prior to the snapshot. Does nothing for the Flushing runtimes.
Snapshots any pending logs and closes any open files. This should be called at the end of the program to ensure all logs are properly flushed and files are closed. Do not call this function if there is a chance that the backend will be used again.
For PrintBox runtimes, when passed true within the scope of a log subtree, disables the logging of this subtree and its subtrees. Does not do anything when passed false (no_debug_if false does not re-enable the log). Does nothing for the Flushing runtimes.