Note:

You are viewing a development version of the library. Goto the latest version.

Module BaseLog

module BaseLog: sig .. end
Maintain a log of actions done
Author(s): Sylvain Le Gall

val default_filename : OASISContext.source_filename
Default file for registering log.
val load : ctxt:OASISContext.t -> unit -> (OASISTypes.name * string) list
Load the log file.
val register : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit
Add an event to the log file.
val unregister : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit
Remove an event from the log file.
val filter : ctxt:OASISContext.t ->
OASISTypes.name list -> (OASISTypes.name * string) list
Filter events of the log file.
val exists : ctxt:OASISContext.t -> OASISTypes.name -> string -> bool
Check if an event exists in the log file.