Module Catapult_sqliteSource

Backend that writes directly to a Sqlite database.

The database path is either directly provided with "TRACE_DB" or set_file, or it's a file named after the trace ID in the directory set by set_dir (or the default directory otherwise).

The trace ID is determined by "TRACE_ID" if present, otherwise auto-generated or set via set_trace_id.

include Catapult.IMPL
Sourceval setup : unit -> unit

Install the catapult logger as a profiling backend.

Sourceval teardown : unit -> unit
Sourceval with_setup : (unit -> 'a) -> 'a
Sourceval set_sqlite_sync : [ `OFF | `NORMAL | `FULL ] -> unit

Set level of crash safety for sqlite. See Writer.create for more details.

Sourceval enable : unit -> unit
Sourceval enabled : unit -> bool
Sourceval set_trace_id : string -> unit
Sourceval get_trace_id : unit -> string
Sourceval set_multiproc : bool -> unit

Multiprocess mode? If true, then the file will not be truncated.

Sourceval set_dir : string -> unit

Set directory in which to store the database by its trace ID.

Sourceval set_file : string -> unit

Set database path to use. If not specified, it will be picked from the trace ID, and the directory set_dir.

Sourcemodule Writer : sig ... end
Sourcemodule Backend : sig ... end
Sourcemodule Ev_to_json : sig ... end