package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Actions to perform at each treatment of a "call" statement. state is the state before the call.

  • deprecated

    Use Call_Type_Value_Callbacks instead.

type param = state * callstack

Type of the parameter of the functions registered in the hook.

type result = unit

Type of the result of the functions. result can be unit (for iterative hooks) or param (for folding hooks)

val extend : (param -> result) -> unit

Add a new function to the hook.

val extend_once : (param -> result) -> unit

Same as extend, but the hook is added only if it is not already present; the comparison is made using (==)

  • since Oxygen-20120901
val apply : param -> result

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.

OCaml

Innovation. Community. Security.