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 |
Metrics_coverage | In the definitions below, setting argument |
Metrics_gui | GUI utilities for Metrics |
Metrics_parameters | |
Register | |
Register_gui | This module defines abstraction for Metrics use |