Index of values


A
add [Plugin.String_collection]
Add a string to the string set option.
add_choice [Plugin.Indexed_val]
adds a new choice for the option.
all_funs [Metrics_coverage]
apply_then_set [Metrics_base.BasicMetrics]
Update a reference from a pure functional function.

C
cell_type_to_string [Metrics_base.BasicMetrics]
clear_container [Metrics_gui]
Remove all sub-elements of a GUI object
coerce_panel_to_ui [Metrics_gui]
Returning a value to register in Frama-C's GUI
compose [Metrics_cabs.Halstead]
compute [Register_gui.ValueCoverageGUI]
compute [Register_gui.CyclomaticMetricsGUI]
compute [Register_gui.HalsteadMetricsGUI]
compute [Metrics_coverage]
compute_coverage_by_fun [Metrics_coverage]
compute_metrics [Metrics_cabs.Halstead]
compute_on_cabs [Metrics_cabs]
Main entry point to compute various metrics on Cabs AST instead of CIL AST.
compute_on_cilast [Metrics_cilast]
Compute metrics on whole CIL AST
compute_operands [Metrics_cabs.Halstead]
compute_operators [Metrics_cabs.Halstead]
compute_semantic [Metrics_coverage]
Functions analyzed by the value analysis
compute_syntactic [Metrics_coverage]
List of functions that can be syntactically reached from the function
consider_function [Metrics_base]
consider_function vinfo returns false if the varinfo is not a function we are interested in.
css [Css_html]
cyclo [Metrics_base.BasicMetrics]
Compute cyclomatic complexity from base_metrics record type.

D
display_as_table [Metrics_gui]
Display the table_contents matrix as a GTK table
display_result [Register_gui.ValueCoverageGUI]
display_result [Register_gui.CyclomaticMetricsGUI]
display_result [Register_gui.HalsteadMetricsGUI]
dump_html [Metrics_cilast]

E
empty_metrics [Metrics_base.BasicMetrics]
Initial empty values for metrics computing.
exists [Plugin.String_collection]
Checks if at least one element of the set satisfies the predicate.
extract_fundef_name [Metrics_base]

F
file_of_fundef [Metrics_base]
Get the filename containing the function definition
file_of_vinfodef [Metrics_base]
Get the filename where the definition of a varinfo occurs
find [Plugin.String_hashtbl]
float_to_string [Metrics_base]
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 [Metrics_cabs.Halstead]
fold [Plugin.String_collection]
Fold on each string in the set.

G
get_file_type [Metrics_base]
get_file_type extension sets the output type according to extension.
get_filename [Metrics_base]
get_metrics [Metrics_cilast]
get_metrics [Metrics_cabs.Halstead]
get_possible_values [Plugin.String_collection]
What are the acceptable values for this parameter.
get_possible_values [Plugin.String]
What are the acceptable values for this parameter.
get_range [Plugin.Int]
What is the possible range of values for this parameter.
get_set [Plugin.String_collection]
Get a string which concatenates each string in the set with a separator.
get_suffix [Metrics_base]
get_val [Plugin.Indexed_val]
the currently selected value.
gui [Register_gui]

H
highlight [Register_gui.ValueCoverageGUI]
highlighter [Register_gui.ValueCoverageGUI]
html_tag_functions [Metrics_base]

I
id_from_init [Metrics_cabs.Halstead]
incr [Plugin.Int]
Increment the integer.
incr_assigns [Metrics_base.BasicMetrics]
incr_calls [Metrics_base.BasicMetrics]
incr_dpoints [Metrics_base.BasicMetrics]
incr_exits [Metrics_base.BasicMetrics]
incr_funcs [Metrics_base.BasicMetrics]
Helpers for metrics purposes for single increment steps
incr_glob_vars [Metrics_base.BasicMetrics]
incr_gotos [Metrics_base.BasicMetrics]
incr_ifs [Metrics_base.BasicMetrics]
incr_loops [Metrics_base.BasicMetrics]
incr_ptrs [Metrics_base.BasicMetrics]
incr_slocs [Metrics_base.BasicMetrics]
init_panel [Metrics_gui]
The panel of Metrics has two parts: The upper part contains the various choices of the user;, The bottom part displays the result.
is_empty [Plugin.String_collection]
Check if the set is empty.
is_entry_point [Metrics_base]
iter [Plugin.String_collection]
Iter on each string in the set.

L
labels [Metrics_base.BasicMetrics]

M
main [Register]
map_cardinal [Metrics_base.VInfoMap]
Cardinal of a VInfoMap
map_cardinal_varinfomap [Metrics_base]
mk_bi_label [Register_gui]
mk_hdr [Metrics_base]
mk_hdr level ppf hdr_strg produces a title from hdr_strg with an underline of the same length.

N
name [Register_gui.ValueCoverageGUI]
name [Register_gui.CyclomaticMetricsGUI]
name [Register_gui.HalsteadMetricsGUI]
number_entry_points [Metrics_base]
Handling entry points informations

O
off [Plugin.Bool]
Set the boolean to false.
on [Plugin.Bool]
Set the boolean to true.
output [Plugin.WithOutput]
To be used by the plugin to output the results of the option in a controlled way.

P
percent_coverage [Metrics_coverage]
pp_base_metrics [Metrics_base.BasicMetrics]
Pretty printers for base metrics as text or html.
pp_base_metrics_as_html_row [Metrics_base.BasicMetrics]
pp_cell [Metrics_base.BasicMetrics]
pp_cell_default [Metrics_base.BasicMetrics]
pp_cell_type_html [Metrics_base.BasicMetrics]
pp_fun_set_by_file [Metrics_coverage]
pp_funinfo [Metrics_cilast]
pp_int [Metrics_base.BasicMetrics]
pp_metrics [Metrics_cabs.Halstead]
pp_reached_from_function [Metrics_coverage]
Pretty-print the functions that can be syntactically reached from the parameter
pp_stmts_reached_by_function [Metrics_coverage]
pp_strg [Metrics_base.BasicMetrics]
pp_unreached_calls [Metrics_coverage]
pp_value_coverage [Metrics_coverage]
Return two fonctions that pretty-print the coverage reached by the value analysis wrt.
pp_with_funinfo [Metrics_cilast]
pretty_entry_points [Metrics_base]
pretty_set [Metrics_base]
Other pretty-printing and formatting utilities

R
register [Register_gui.ValueCoverageGUI]
register [Register_gui.CyclomaticMetricsGUI]
register [Register_gui.HalsteadMetricsGUI]
register_final [Register_gui]
register_metrics [Metrics_gui]
Add a new metrics to its dedicated panel.
remove [Plugin.String_collection]
Remove a string from the option.
reset_panel [Metrics_gui]
Reset metrics panel to pristine conditions by removeing children from bottom container
result [Register_gui.ValueCoverageGUI]

S
set_output_dependencies [Plugin.WithOutput]
Set the dependencies for the output of the option.
set_possible_values [Plugin.String_collection]
Set what are the acceptable values for this parameter.
set_possible_values [Plugin.String]
Set what are the acceptable values for this parameter.
set_range [Plugin.Int]
Set what is the possible range of values for this parameter.
str_values [Metrics_base.BasicMetrics]
syntactic [Register]

T
to_list [Metrics_cabs.Halstead]
to_list [Metrics_base.BasicMetrics]
Matrix-like representation of the record in "Title: value" stytle
to_varinfo_map [Metrics_base.VInfoMap]

U
update_val [Metrics_cabs.Halstead]
update_val_incr [Metrics_cabs.Halstead]

V
value [Register]