A | |
add [FCMap.S] |
|
apply_then_set [Metrics_base.BasicMetrics] | Update a reference from a pure functional function. |
B | |
bindings [FCMap.S] | Return the list of all bindings of the given map. |
C | |
cardinal [FCMap.S] | Return the number of bindings of a map. |
choose [FCMap.S] | Return one binding of the given map, or raise |
clear_coverage_by_fun [Metrics_coverage] | |
coerce_panel_to_ui [Metrics_gui] | Returning a value to register in Frama-C's GUI |
compare [FCMap.S] | Total ordering between maps. |
compute [Register_gui.ValueCoverageGUI] | |
compute [Register_gui.CyclomaticMetricsGUI] | |
compute [Register_gui.HalsteadMetricsGUI] | |
compute [Metrics_coverage] | Computes both syntactic and semantic coverage information. |
compute_coverage_by_fun [Metrics_coverage] | Computes the semantic coverage by function. |
compute_cyclo [Metrics_base.BasicMetrics] | Compute cyclomatic complexity from base_metrics record type. |
compute_locals_size [Metrics_cilast] | Compute and print the size (in bytes) of local variables on the CIL AST. |
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_semantic [Metrics_coverage] | Functions analyzed by the value analysis |
compute_syntactic [Metrics_coverage] | List of functions that can be syntactically reached from the function |
compute_syntactic [Metrics.Metrics_coverage] | |
consider_function [Metrics_base] | consider_function |
consider_variable [Metrics_base] |
|
copy [Datatype.S] | Deep copy: no possible sharing between |
css [Css_html] | |
D | |
decorate_filetree [Register_gui.ValueCoverageGUI] | |
display_as_table [Metrics_gui] | Display the list of list of strings in a LablGTK table object |
display_result [Register_gui.ValueCoverageGUI] | |
display_result [Register_gui.CyclomaticMetricsGUI] | |
display_result [Register_gui.HalsteadMetricsGUI] | |
dump [Metrics_acsl] | |
dump_acsl_stats [Metrics_acsl] | |
dump_acsl_stats_html [Metrics_acsl] | |
E | |
empty [FCMap.S] | The empty map. |
empty_acsl_stat [Metrics_acsl] | |
empty_metrics [Metrics_base.BasicMetrics] | Initial empty values for metrics computing. |
equal [FCMap.S] |
|
exists [FCMap.S] |
|
exists [Parameter_sig.Set] | Is there some element satisfying the given 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 |
filetree_enabled [Register_gui.ValueCoverageGUI] | |
filetree_visible [Register_gui.ValueCoverageGUI] | |
filter [FCMap.S] |
|
find [FCMap.S] |
|
find_opt [FCMap.S] |
|
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 [FCMap.S] |
|
for_all [FCMap.S] |
|
G | |
get_cilast_metrics [Metrics_cilast] | |
get_coverage [Metrics_coverage] | Returns the coverage for a given function. |
get_file_type [Metrics_base] | get_file_type |
get_filename [Metrics_base] | |
get_function_name [Parameter_sig.String] | returns the given argument only if it is a valid function name
(see |
get_global_metrics [Metrics_cilast] | Returns the computed metrics for the entire AST. |
get_global_stats [Metrics_acsl] | |
get_kf_stats [Metrics_acsl] | |
get_metrics [Metrics_cabs.Halstead] | |
get_metrics_map [Metrics_cilast] | Computes and returns individual metrics per function. |
get_metrics_map [Metrics.Metrics_cilast] | |
get_plain_string [Parameter_sig.String] | always return the argument, even if the argument is not a function name. |
get_possible_values [Parameter_sig.String] | What are the acceptable values for this parameter. |
gui [Register_gui] | |
H | |
highlight [Register_gui.ValueCoverageGUI] | |
highlighter [Register_gui.ValueCoverageGUI] | |
html_stag_functions [Metrics_base] | |
I | |
incr_asserts [Metrics_acsl] | |
incr_assigns [Metrics_base.BasicMetrics] | |
incr_calls [Metrics_base.BasicMetrics] | |
incr_dpoints [Metrics_base.BasicMetrics] | |
incr_exits [Metrics_base.BasicMetrics] | |
incr_f_assigns [Metrics_acsl] | |
incr_f_assumes [Metrics_acsl] | |
incr_f_behaviors [Metrics_acsl] | |
incr_f_ensures [Metrics_acsl] | |
incr_f_froms [Metrics_acsl] | |
incr_f_requires [Metrics_acsl] | |
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_invariants [Metrics_acsl] | |
incr_loop_assigns [Metrics_acsl] | |
incr_loop_froms [Metrics_acsl] | |
incr_loops [Metrics_base.BasicMetrics] | |
incr_ptrs [Metrics_base.BasicMetrics] | |
incr_s_assigns [Metrics_acsl] | |
incr_s_assumes [Metrics_acsl] | |
incr_s_behaviors [Metrics_acsl] | |
incr_s_ensures [Metrics_acsl] | |
incr_s_froms [Metrics_acsl] | |
incr_s_requires [Metrics_acsl] | |
incr_slocs [Metrics_base.BasicMetrics] | |
incr_variants [Metrics_acsl] | |
init_panel [Metrics_gui] | Initialize the main Metrics panel into an upper and lower part. |
is_computed_by_fun [Metrics_coverage] | |
is_empty [FCMap.S] | Test whether a map is empty or not. |
iter [FCMap.S] |
|
K | |
kf_of_cabs_name [Metrics_base] | |
M | |
main [Register] | |
make_type [Datatype.Hashtbl] | |
map [FCMap.S] |
|
mapi [FCMap.S] | Same as |
max_binding [FCMap.S] | Same as |
max_elt [FCSet.S] | Same as , but returns the largest element of the given set. |
mem [FCMap.S] |
|
mem [Parameter_sig.Set] | Does the given element belong to the set? |
merge [FCMap.S] |
|
min_binding [FCMap.S] | Return the smallest binding of the given map
(with respect to the |
min_elt [FCSet.S] | Return the smallest element of the given set
(with respect to the |
mk_bi_label [Register_gui] | |
mk_hdr [Metrics_base] | mk_hdr |
N | |
name [Register_gui.ValueCoverageGUI] | |
name [Register_gui.CyclomaticMetricsGUI] | |
name [Register_gui.HalsteadMetricsGUI] | |
nearest_elt_ge [FCSet.S] |
|
nearest_elt_le [FCSet.S] |
|
number_entry_points [Metrics_base] | Handling entry points informations |
O | |
off [Parameter_sig.Bool] | Set the boolean to |
on [Parameter_sig.Bool] | Set the boolean to |
output [Parameter_sig.With_output] | To be used by the plugin to output the results of the option in a controlled way. |
P | |
partition [FCMap.S] |
|
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] | |
pretty_acsl_stats [Metrics_acsl] | |
pretty_acsl_stats_html [Metrics_acsl] | |
pretty_entry_points [Metrics_base] | |
pretty_extern_vars [Metrics_base] | |
pretty_set [Metrics_base] | Pretty print a varinfo set, with some additional information about the varinfo. |
pretty_used_files [Metrics_cilast] | Pretty-prints the result of |
R | |
reachable_from_main [Metrics_cilast] | Computes the set of global variables which are syntactically reachable from the entry point of the program. |
register [Register_gui.ValueCoverageGUI] | |
register [Register_gui.CyclomaticMetricsGUI] | |
register [Register_gui.HalsteadMetricsGUI] | |
register_final [Register_gui] | |
register_metrics [Metrics_gui] | register_metrics |
remove [FCMap.S] |
|
reset_panel [Metrics_gui] | Reset metrics panel to pristine conditions by removing children from bottom container |
result [Register_gui.ValueCoverageGUI] | |
S | |
set_cyclo [Metrics_base.BasicMetrics] | |
set_output_dependencies [Parameter_sig.With_output] | Set the dependencies for the output of the option. |
set_possible_values [Parameter_sig.String] | Set what are the acceptable values for this parameter. |
singleton [FCMap.S] |
|
split [FCSet.S] |
|
split [FCMap.S] |
|
syntactic [Register] | |
T | |
to_list [Metrics_cabs.Halstead] | |
to_list [Metrics_base.BasicMetrics] | Matrix-like representation of the record in "Title: value" style |
U | |
update_filetree [Register_gui.ValueCoverageGUI] | |
used_files [Metrics_cilast] | Computes the set of files defining all global variables syntactically
reachable from the entry point of the program
(as given by |
V | |
value [Register] |