package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (23)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/frama-c.kernel/Frama_c_kernel/Emitter/Make_table/index.html

Module `Emitter.Make_table`

Table indexing: key -> emitter (or equivalent data) -> value. Quick access + handle cleaning in the right way (only remove relevant bindings when required.

since Oxygen-20120901

Parameters

module H : Datatype.Hashtbl

module E : sig ... end

module D : Datatype.S

module _ : sig ... end

Signature

type internal_tbl = D.t E.Hashtbl.t

val self : State.t

val add : H.key -> internal_tbl -> unit

val find : H.key -> internal_tbl

val mem : H.key -> bool

val iter : (H.key -> internal_tbl -> unit) -> unit

val fold : (H.key -> internal_tbl -> 'a -> 'a) -> 'a -> 'a

val to_seq : unit -> (H.key * internal_tbl) Seq.t

val iter_sorted : 
  cmp:(H.key -> H.key -> int) ->
  (H.key -> internal_tbl -> unit) ->
  unit

val fold_sorted : 
  cmp:(H.key -> H.key -> int) ->
  (H.key -> internal_tbl -> 'a -> 'a) ->
  'a ->
  'a

val remove : H.key -> unit

val add_hook_on_remove : (E.t -> H.key -> D.t -> unit) -> unit

since Fluorine-20130401

val apply_hooks_on_remove : E.t -> H.key -> D.t -> unit

This function must be called on each binding which is removed from the table without directly calling the function remove.

since Fluorine-20130401

On This Page

Parameters
Signature