Up
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
]