Metrics plugin


Directory plugins

Section Metrics (in plugins/metrics)


Css_html
Metrics
Metrics plugin.
Metrics_acsl
Visitor to compute various metrics about annotations
Metrics_base
Tag functions handling html tags for Format
Metrics_cabs
Metrics computing on Cabs
Metrics_cilast
In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.
Metrics_coverage
In the definitions below, setting argument libc to true will include functions/variables from the C stdlib in the metrics.
Metrics_gui
GUI utilities for Metrics
Metrics_parameters
Activate metrics
Register
Register_gui
This module defines abstraction for Metrics use