Module Db.Value.Record_Value_Callbacks


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.