Frama-C API - `StartData`

This module can be used to instantiate the StmtStartData components of the functors below. It is implemented through stmt-indexed hashtables.

Parameters

module X : sig ... end

type data = X.t

val clear : unit -> unit

val mem : Cil_types.stmt -> bool

val find : Cil_types.stmt -> data

val replace : Cil_types.stmt -> data -> unit

val add : Cil_types.stmt -> data -> unit

val iter : (Cil_types.stmt -> data -> unit) -> unit

val length : unit -> int