Hook (p.mopsa.1.1.doc.hooks.Hooks.Logs.Hook)

mopsa
- CHANGELOG
- README
- Library abstraction
  - Abstraction
- Library ast
  - Ast
- Library bitfields
  - Bitfields
- Library c
  - C
- Library c_common
  - C_common
- Library c_lang
  - C_lang
- Library cfg
  - Cfg
- Library combiner
  - Combiner
- Library combiners
  - Combiners
- Library combiners_common
  - Combiners_common
- Library config
  - Config
- Library congUtils
  - CongUtils
- Library containers
  - Containers
- Library core
  - Core
- Library cpython
  - Cpython
- Library domain
  - Domain
- Library engines
  - Engines
- Library framework
  - Framework
- Library heap
  - Heap
- Library hooks
  - Hooks
- Library interactive
  - Interactive
- Library intervals
  - Intervals
- Library itvUtils
  - ItvUtils
- Library lang
  - Lang
- Library lattices
  - Lattices
- Library mopsa
  - Mopsa
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_analzyer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library numeric_common
  - Numeric_common
- Library numeric_reductions
  - Numeric_reductions
- Library numeric_values
  - Numeric_values
- Library output
  - Output
- Library params
  - Params
- Library parsing
  - Parsing
- Library passes
  - Passes
- Library powersets
  - Powersets
- Library python
  - Python
- Library python_lang
  - Python_lang
- Library reduction
  - Reduction
- Library relational
  - Relational
- Library repl
  - Repl
- Library sig
  - Sig
- Library stubs
  - Stubs
- Library toplevel
  - Toplevel
- Library universal
  - Universal
- Library universal_interproc
  - Universal_interproc
- Library universal_iterators
  - Universal_iterators
- Library universal_numeric
  - Universal_numeric
- Library utils_core
  - Utils_core
- Library value
  - Value
- Sources

Parameters

module Options : OPTIONS

Signature

Hook header

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

Sourceval name : string

Initialization

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

Sourceval stack : float Stdlib.Stack.t

Sourceval init : 'a -> unit

Indentation

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

Sourceval color : int -> string -> string

Sourcetype symbol =

| BEGIN
| END
| MSG

Sourceval symbol_to_string : symbol -> int -> string

Symbol of a new entry

Sourceval is_end_symbol : symbol -> bool

Sourceval tab : int -> string

Tabulation

Sourceval cur_level : unit -> int

Source

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

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

Sourceval reach : Mopsa.range -> unit

Sourceval pp_S : Stdlib.Format.formatter -> Mopsa.Core.All.stmt -> unit

Source

val pp_E : 
  Mopsa.Core.All.semantic ->
  Stdlib.Format.formatter ->
  Mopsa.Core.All.expr ->
  unit

Sourceval pp_route_if_any : Stdlib.Format.formatter -> Mopsa.Core.All.route -> unit

Sourceval get_timing : unit -> float

Events handlers

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

Source

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

Source

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

Source

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

Source

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

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