A | |
AstType [Metrics_parameters] | Set the ASTs on which the metrics should be computed |
B | |
BasicMetrics [Metrics_base] | Defining base metrics and operations on those |
BasicMetrics [Metrics.Metrics_base] | |
ByFunction [Metrics_parameters] | Activate metrics by function |
C | |
Css_html | |
CyclomaticMetricsGUI [Register_gui] | |
E | |
Enabled [Metrics_parameters] | Activate metrics |
H | |
Halstead [Metrics_cabs] | Halstead metrics computation |
HalsteadMetricsGUI [Register_gui] | |
Hashtbl [Datatype.S_with_collections] | |
K | |
Key [Datatype.Hashtbl] | Datatype for the keys of the hashtbl. |
Key [Datatype.Map] | Datatype for the keys of the map. |
L | |
Libc [Metrics_parameters] | |
LocalsSize [Metrics_parameters] | Compute and print the total size of local variables for all functions in this set (option -metrics-locals-size) |
M | |
Make [Datatype.Hashtbl] | Build a datatype of the hashtbl according to the datatype of values in the hashtbl. |
Make [Datatype.Map] | Build a datatype of the map according to the datatype of values in the map. |
Map [Datatype.S_with_collections] | |
Metrics | Metrics plugin. |
Metrics_acsl | Visitor to compute various metrics about annotations |
Metrics_base | Tag functions handling html tags for Format |
Metrics_base [Metrics] | See |
Metrics_cabs | Metrics computing on Cabs |
Metrics_cilast | In the definitions below, setting argument |
Metrics_cilast [Metrics] | See |
Metrics_coverage | In the definitions below, setting argument |
Metrics_coverage [Metrics] | See |
Metrics_gui | GUI utilities for Metrics |
Metrics_parameters | |
O | |
OptionKf [Metrics_base] | |
OptionKf [Metrics.Metrics_base] | |
OutputFile [Metrics_parameters] | Pretty print metrics to the given file. |
R | |
Register | |
Register_gui | This module defines abstraction for Metrics use |
S | |
Set [Datatype.S_with_collections] | |
SyntacticallyReachable [Metrics_parameters] | Set of functions for which we compute the functions they may call |
U | |
UsedFiles [Metrics_parameters] | |
V | |
VInfoMap [Metrics_base] | Local varinfo map and set where the comparison function is the lexicographic one on their respective names. |
VInfoSet [Metrics_base] | |
ValueCoverage [Metrics_parameters] | Give an estimation about value analysis code penetration. |
ValueCoverageGUI [Register_gui] | GUI hooks value coverage |