Frama-C API - S_ordered
hook with a notion of priority.
include S
Type of the parameter of the functions registered in the hook.
Type of the result of the functions. result can be unit (for iterative hooks) or param (for folding hooks)
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?
Number of registered functions.
val register_key : key -> id
val add_dependency : id -> id -> unit
add_dependency hook1 hook2
indicates that hook1
must be executed before hook2
. In case of a cycle, all hooks will be executed, but an arbitrary order will be chosen among the elements of the cycle.