module Record_Value_Callbacks: Hook.S
with type param = (kernel_function * kinstr) list
* state Cilutil.InstrHashtbl.t
Actions to perform at end of each function analysis.
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.