package mopsa

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

Module Core.MarkerSource

Trace markers

Sourcetype marker = ..
Sourcetype marker_info = {
  1. marker_name : string;
  2. marker_print_name : (marker -> string) -> marker -> string;
  3. marker_print : (Stdlib.Format.formatter -> marker -> unit) -> Stdlib.Format.formatter -> marker -> unit;
  4. marker_compare : (marker -> marker -> int) -> marker -> marker -> int;
}
Sourceval compare_marker : marker -> marker -> int
Sourceval pp_marker : Stdlib.Format.formatter -> marker -> unit
Sourceval get_marker_name : marker -> string
Sourceval register_marker : marker_info -> unit
Sourcetype Ast.Stmt.stmt_kind +=
  1. | S_add_marker of marker
Sourceval enable_marker : string -> unit
Sourceval disable_marker : string -> unit
Sourceval is_marker_enabled : marker -> bool
Sourceval available_markers : unit -> string list
OCaml

Innovation. Community. Security.