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/State_builder/Hashconsing_tbl/index.html

Module `State_builder.Hashconsing_tbl`

Weak or non-weak hashconsing tables, depending on variable Cmdline.deterministic.

since Aluminium-20160501

Parameters

module Data : sig ... end

module _ : Info_with_size

Signature

Hashtbl are a standard computation. BUT it is INCORRECT to use projectified hashtables if keys have a custom rehash function (see Datatype.Make_input.rehash)

include S

val self : State.t

The kind of the registered state.

val name : string

val mark_as_computed : ?project:Project.t -> unit -> unit

Indicate that the registered state will not change again for the given project (default is current ()).

val is_computed : ?project:Project.t -> unit -> bool

Returns true iff the registered state will not change again for the given project (default is current ()).

Exportation of some inputs (easier use of State_builder.Register).

module Datatype : Datatype.S

val add_hook_on_update : (Datatype.t -> unit) -> unit

Add an hook which is applied each time (just before) the project library changes the local value of the state.

since Nitrogen-20111001

val howto_marshal : (Datatype.t -> 'a) -> ('a -> Datatype.t) -> unit

howto_marshal marshal unmarshal registers a custom couple of functions (marshal, unmarshal) to be used for serialization. Default functions are identities. In particular, this function must be used if Datatype.t is not marshallable and do_not_save is not called.

since Boron-20100401

type data = Data.t

since Boron-20100401

val merge : data -> data

merge x returns an instance of x found in the table if any, or else adds x and return x.

since Boron-20100401

val add : data -> unit

add x adds x to the table. If there is already an instance of x, it is unspecified which one will be returned by subsequent calls to find and merge.

since Boron-20100401

val clear : unit -> unit

Clear the table.

since Boron-20100401

val count : unit -> int

Length of the table.

since Boron-20100401

val iter : (data -> unit) -> unit

since Boron-20100401

val fold : (data -> 'a -> 'a) -> 'a -> 'a

since Boron-20100401

val find : data -> data

find x returns an instance of x found in table.

raises Not_found
if there is no such element.

since Boron-20100401

val find_all : data -> data list

find_all x returns a list of all the instances of x found in t.

since Boron-20100401

val mem : data -> bool

mem x returns true if there is at least one instance of x in the table, false otherwise.

since Boron-20100401

val remove : data -> unit

remove x removes from the table one instance of x. Does nothing if there is no instance of x.

since Boron-20100401

On This Page

Parameters
Signature