package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Actions to perform whenever a statement is handled.

type param = Cil_types.stmt * callstack * state list

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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct