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
Register
Register_gui

This module defines abstraction for Metrics use