Index of values

add x y m returns a map containing the same bindings as m, plus a binding of x to y.

Update a reference from a pure functional function.

Return the list of all bindings of the given map.

Return the number of bindings of a map.

Return one binding of the given map, or raise Not_found if the map is empty.

Returning a value to register in Frama-C's GUI

Total ordering between maps.

Compute cyclomatic complexity from base_metrics record type.

Main entry point to compute various metrics on Cabs AST instead of CIL AST.

Compute metrics on whole CIL AST

Functions analyzed by the value analysis

List of functions that can be syntactically reached from the function

consider_function vinfo returns false if the varinfo is not a function we are interested in.

consider_variable vinfo returns false if the varinfo is not an object variable we are interested in.

Diplay the list of list of strings in a LablgGTK table object

The empty map.

Initial empty values for metrics computing.

equal cmp m1 m2 tests whether the maps m1 and m2 are equal, that is, contain equal keys and associate them with equal data.

exists p m checks if at least one binding of the map satisfy the predicate p.

Is there some element satisfying the given predicate?

Get the filename containing the function definition

Get the filename where the definition of a varinfo occurs

filter p m returns the map with all the bindings in m that satisfy predicate p.

find x m returns the current binding of x in m, or raises Not_found if no such binding exists.

Convert float to string with the following convention: if the float is an integer (ie, it has no digits after the decimal point), print it as such;, otherwise, print the first two digits after the decimal point.

fold f m a computes (f kN dN ... (f k1 d1 a)...), where k1 ... kN are the keys of all bindings in m (in increasing order), and d1 ... dN are the associated data.

for_all p m checks if all the bindings of the map satisfy the predicate p.

get_file_type extension sets the output type according to extension.

returns the given argument only if it is a valid function name (see Parameter_customize.get_c_ified_functions for more information), and abort otherwise.

always return the argument, even if the argument is not a function name.

What are the acceptable values for this parameter.

Helpers for metrics purposes for single increment steps

Initialize the main Metrics panel into an upper and lower part.

Test whether a map is empty or not.

iter f m applies f to all bindings in map m.

map f m returns a map with same domain as m, where the associated value a of all bindings of m has been replaced by the result of the application of f to a.

Same as FCMap.S.map, but the function receives as arguments both the key and the associated value for each binding of the map.

Same as FCMap.S.min_binding, but returns the largest binding of the given map.

Same as , but returns the largest element of the given set.

mem x m returns true if m contains a binding for x, and false otherwise.

Does the given element belong to the set?

merge f m1 m2 computes a map whose keys is a subset of keys of m1 and of m2.

Return the smallest binding of the given map (with respect to the Ord.compare ordering), or raise Not_found if the map is empty.

Return the smallest element of the given set (with respect to the Ord.compare ordering), or raise Not_found if the set is empty.

mk_hdr level ppf hdr_strg produces a title from hdr_strg with an underline of the same length.

nearest_elt_ge v s returns the smallest element of s that is bigger or equal to v.

nearest_elt_le v s returns the largest element of s that is smaller or equal to v.

Handling entry points informations

Set the boolean to false.

Set the boolean to true.

To be used by the plugin to output the results of the option in a controlled way.

partition p m returns a pair of maps (m1, m2), where m1 contains all the bindings of s that satisfy the predicate p, and m2 is the map with all the bindings of s that do not satisfy p.

Pretty printers for base metrics as text or html.

Pretty-print the functions that can be syntactically reached from the parameter

Return two fonctions that pretty-print the coverage reached by the value analysis wrt.

Pretty print a varinfo set, with some additional information about the varinfo.

register_metrics metrics_name display_function () adds a selectable choice for the metrics metrics_name and add a hook calling display_function whenever this metrics is selected and launched.

remove x m returns a map containing the same bindings as m, except for x which is unbound in the returned map.

Reset metrics panel to pristine conditions by removeing children from bottom container

Set the dependencies for the output of the option.

Set what are the acceptable values for this parameter.

singleton x y returns the one-element map that contains a binding y for x.

split x m returns a triple (l, data, r), where l is the map with all the bindings of m whose key is strictly less than x; r is the map with all the bindings of m whose key is strictly greater than x; data is None if m contains no binding for x, or Some v if m binds v to x.

Matrix-like representation of the record in "Title: value" stytle