package oasis

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

Maintain a log of actions done

  • author 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.

OCaml

Innovation. Community. Security.