Module `Logs.Hook`

Parameters

module Options : OPTIONS

Signature

Hook header

***************

val name : string

Initialization

******************

val stack : float Stack.t

val init : 'a -> unit

Indentation

***************

val color : int -> string -> string

type symbol =

| BEGIN
| END
| MSG

val symbol_to_string : symbol -> int -> string

Symbol of a new entry

val is_end_symbol : symbol -> bool

val tab : int -> string

Tabulation

val cur_level : unit -> int

val indent : symbol:symbol -> ('a, Format.formatter, unit, unit) format4 -> 'a

Indent a message by adding tabs at the beginning of each line

val reach : MopsaLib.range -> unit

val pp_S : Format.formatter -> Mopsa_analyzer.MopsaLib.Core.All.stmt -> unit

val pp_E : 
  Mopsa_analyzer.MopsaLib.Core.All.semantic ->
  Format.formatter ->
  Mopsa_analyzer.MopsaLib.Core.All.expr ->
  unit

val pp_route_if_any : 
  Format.formatter ->
  Mopsa_analyzer.MopsaLib.Core.All.route ->
  unit

val get_timing : unit -> float

Events handlers

*******************

val on_before_exec : 
  Mopsa_analyzer.MopsaLib.Core.All.route ->
  Mopsa_analyzer.MopsaLib.Core.All.stmt ->
  ('a, 'b) Mopsa_analyzer.MopsaLib.Core.All.man ->
  'a Mopsa_analyzer.MopsaLib.Core.All.Flow.flow ->
  unit

val on_after_exec : 
  Mopsa_analyzer.MopsaLib.Core.All.route ->
  Mopsa_analyzer.MopsaLib.Core.All.stmt ->
  ('a, 'b) Mopsa_analyzer.MopsaLib.Core.All.man ->
  'c ->
  ('a, 'd) Mopsa_analyzer.MopsaLib.Core.All.Cases.cases ->
  unit

val on_before_eval : 
  Mopsa_analyzer.MopsaLib.Core.All.route ->
  Mopsa_analyzer.MopsaLib.Core.All.semantic ->
  Mopsa_analyzer.MopsaLib.Core.All.expr ->
  ('a, 'b) Mopsa_analyzer.MopsaLib.Core.All.man ->
  'a Mopsa_analyzer.MopsaLib.Core.All.Flow.flow ->
  unit

val on_after_eval : 
  Mopsa_analyzer.MopsaLib.Core.All.route ->
  Mopsa_analyzer.MopsaLib.Core.All.semantic ->
  Mopsa_analyzer.MopsaLib.Core.All.expr ->
  'a ->
  'b ->
  ('c, Mopsa_analyzer.MopsaLib.Core.All.expr)
    Mopsa_analyzer.MopsaLib.Core.All.Cases.cases ->
  unit

val on_finish : 'a -> 'b -> unit

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Hooks/Logs/Hook/index.html

Module `Logs.Hook`

Parameters

Signature

Hook header

Initialization

Indentation

Events handlers

package mopsa

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Languages/Universal/Hooks/Logs/Hook/index.html

Module Logs.Hook

Parameters

Signature

Hook header

Initialization

Indentation

Events handlers

dune-project
Dependency

Module `Logs.Hook`