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.

C
cell_type_to_string [Metrics_base]
compose [Metrics_cabs.Halstead]
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.
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
css [Css_html]
cyclo [Metrics_base]
Compute cyclomatic complexity from my_metrics record type.

D
dump_html [Metrics_cilast]

E
empty_metrics [Metrics_base]
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]
fold [Metrics_cabs.Halstead]

G
get_file_type [Metrics_base]
get_file_type extension sets the output type according to extension.
get_filename [Metrics_base]
get_option [State_builder.Option_ref]
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
html_tag_functions [Metrics_base]
Tag functions handling html tags for Format

I
id_from_init [Metrics_cabs.Halstead]
incr [Plugin.Int]
Increment the integer.
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.

M
main [Register]
make_bi_label [Register_gui]
make_hbox [Register_gui]
make_panel [Register_gui]
map [State_builder.Option_ref]
map_cardinal [Metrics_base.VInfoMap]
Cardinal of a VInfoMap
map_cardinal_varinfomap [Metrics_base]
may [State_builder.Option_ref]
memo [State_builder.Option_ref]
Memoization.
metrics_to_result [Metrics_cilast]

N
name [Metrics_base]
number_entry_points [Metrics_base]

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
plugin_name [Metrics_parameters]
pp_cell [Metrics_base]
pp_cell_default [Metrics_base]
pp_cell_type_html [Metrics_base]
pp_fun_set_by_file [Metrics_coverage]
pp_int [Metrics_base]
pp_metrics [Metrics_cabs.Halstead]
pp_metrics_as_html_row [Metrics_base]
Pretty printers for metrics as text or html.
pp_my_metrics [Metrics_base]
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]
pp_unreached_calls [Metrics_coverage]
pp_value_coverage [Metrics_coverage]
Return two fonctions that pretty-print the coverage reached by the value analysis wrt.
pretty [Metrics_base]
Pretty print results
pretty_entry_points [Metrics_base]
pretty_set [Metrics_base]
Other pretty-printing and formatting utilities
pretty_varinfomap [Metrics_base]

R
remove [Plugin.String_collection]
Remove a string from the option.

S
set_output_dependencies [Plugin.WithOutput]
Set the dependecies for the output of the option.
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.
syntactic [Register]

T
to_varinfo_map [Metrics_base.VInfoMap]

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

V
value [Register]