package oasis

  1. Overview
  2. Docs
package oasis
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.