share/man/nitc: Adding the man explication to disable contracts

[nit.git] / share / man / nitmetrics.md

diff --git a/share/man/nitmetrics.md b/share/man/nitmetrics.md
index 0277161..9d7dfc6 100644 (file)
--- a/share/man/nitmetrics.md
+++ b/share/man/nitmetrics.md
@@ -11,52 +11,55 @@ nitmetrics [*options*]... FILE...
 ## METRICS
 
 ### `--all`
 ## METRICS
 
 ### `--all`

-Compute all metrics
+Compute all metrics.

 
 ### `--mmodules`
 
 ### `--mmodules`

-Compute metrics about mmodules
+Compute metrics about mmodules.

 
 ### `--mclasses`
 
 ### `--mclasses`

-Compute metrics about mclasses
+Compute metrics about mclasses.

 
 ### `--mendel`
 
 ### `--mendel`

-Compute mendel metrics
+Compute mendel metrics.

 
 ### `--inheritance`
 
 ### `--inheritance`

-Compute metrics about inheritance usage
+Compute metrics about inheritance usage.

 
 ### `--refinement`
 
 ### `--refinement`

-Compute metrics about refinement usage
+Compute metrics about refinement usage.

 
 ### `--self`
 
 ### `--self`

-Compute metrics about the usage of explicit and implicit self
+Compute metrics about the usage of explicit and implicit self.

 
 ### `--ast`
 
 ### `--ast`

-Compute metrics about the usage of nodes and identifiers in the AST
+Compute metrics about the usage of nodes and identifiers in the AST.

 
 ### `--nullables`
 
 ### `--nullables`

-Compute metrics on nullables send
+Compute metrics on nullables send.

 
 ### `--static-types`
 
 ### `--static-types`

-Compute explicit static types metrics
+Compute explicit static types metrics.

 
 ### `--tables`
 
 ### `--tables`

-Compute tables metrics
+Compute tables metrics.

 
 ### `--rta`
 
 ### `--rta`

-Compute RTA metrics
+Compute RTA metrics.

 
 ### `--generate_hyperdoc`
 
 ### `--generate_hyperdoc`

-Generate Hyperdoc
+Generate Hyperdoc.

 
 ### `--poset`
 
 ### `--poset`

-Complete metrics on posets
+Complete metrics on posets.

 
 ### `--detect-variance-constraints`
 
 ### `--detect-variance-constraints`

-Detects the definition-site variance constraints on formal parameters.
+Detect the definition-site variance constraints on formal parameters.

 
 Infers the possible variance annotations of formal types in Nit programs by identifying the existing constraints on the usage of those formal type.
 
 
 Infers the possible variance annotations of formal types in Nit programs by identifying the existing constraints on the usage of those formal type.
 

+### `--detect-covariance`
+Detect the static covariance usages.
+

 ## OUTPUT
 
 ### `--csv`
 ## OUTPUT
 
 ### `--csv`