Module Db.Value.Call_Value_Callbacks


module Call_Value_Callbacks: Hook.S  with type param = state * (kernel_function * kinstr) list
Actions to perform at each treatment of a "call" statement.
Consult the Plugin Development Guide for additional details.
type param 
Type of the parameter of the functions registered in the hook.
val extend : (param -> unit) -> unit
Add a new function to the hook.
val apply : param -> unit
Apply all the functions of the hook on the given parameter. These functions are applied from the least recently entered to the most recently entered.
val is_empty : unit -> bool
Is no function already registered in the hook?
val clear : unit -> unit
Clear the hook.
val length : unit -> int
Number of registered functions.