module BaseLog

: sig

Maintain a log of actions done

Author Sylvain Le Gall

val default_filename : OASISTypes.host_filename

Default file for registering log.

val load : unit -> (OASISTypes.name * string) list

Load the log file.

val register : OASISTypes.name -> string -> unit

Add an event to the log file.

val unregister : OASISTypes.name -> string -> unit

Remove an event from the log file.

val filter : OASISTypes.name list -> (OASISTypes.name * string) list

Filter events of the log file.

val exists : OASISTypes.name -> string -> bool

Check if an event exists in the log file.

end