Module BaseLog

Maintain a log of actions done

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.