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
]