| Online Eiffel Documentation

EiffelStudio

# Managing new metrics

After having defined some new metrics, it is possible to delete the useless ones, or to edit them:

- Deleting a metric: select the metric you want to delete and click on the Remove current selected metric button.
- Editing a metric: select the metric you want to edit and start changing its definition by adding or removing criteria (derived), adding or removing terms (linear), changing numerator and denominator (ratio).