Module Db.Value.Record_Value_Superposition_Callbacks


module Record_Value_Superposition_Callbacks: Hook.S  with type param = (kernel_function * kinstr) list 
    * State_set.t Cilutil.InstrHashtbl.t

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.