package mopsa

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

Module Disj.Hook

Hook header

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

val name : string
val init : 'a -> unit

Events handlers

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

val on_before_exec : 'a -> 'b -> 'c -> 'd -> unit
val on_after_exec : 'a -> MopsaLib.stmt -> 'b -> 'c -> ('d, 'e) Mopsa_analyzer.MopsaLib.Cases.cases -> unit
val on_before_eval : 'a -> 'b -> 'c -> 'd -> 'e -> unit
val max_nb : int ref
val on_after_eval : 'a -> 'b -> MopsaLib.expr -> 'c -> 'd -> ('e, MopsaLib.expr) Mopsa_analyzer.MopsaLib.Cases.cases -> unit
val on_finish : 'a -> 'b -> unit