tests: update sav/nitmetrics_args*.res

[nit.git] / tests / sav / nitmetrics_args1.res

diff --git a/tests/sav/nitmetrics_args1.res b/tests/sav/nitmetrics_args1.res
index e5ac8bd..139f52b 100644 (file)
--- a/tests/sav/nitmetrics_args1.res
+++ b/tests/sav/nitmetrics_args1.res
@@ -440,6 +440,24 @@ Distribution of direct smallers
   intern: 1 (1.81%)
   Object: 1 (1.81%)
   Bool: 1 (1.81%)
+--- Detection of variance constraints on formal parameter types ---
+-- Generic classes --
+ list:
+  non generic: 7 (100.00%)
+  total classes: 7
+  total formal parameters: 0
+-- Including `private` properties --
+  covariants: 0 (na%)
+  contravariants: 0 (na%)
+  bivariants: 0 (na%)
+  invariants: 0 (na%)
+  total: 0
+-- Excluding `private` properties --
+  covariants: 0 (na%)
+  contravariants: 0 (na%)
+  bivariants: 0 (na%)
+  invariants: 0 (na%)
+  total: 0
 --- Metrics of refinement usage ---
 Number of modules: 1
 
@@ -689,6 +707,52 @@ Statistics of type usage:
        blooming mclasses (threshold: 1.935)
           B: 2.25
           C: 2.25
+--- Detection of the usage of covariance static type conformance ---
+-- Total --
+- Kinds of the subtype -
+ list:
+  primitive type: 6 (100.00%)
+  total: 6
+- Variance -
+ list:
+  monomorph: 6 (100.00%)
+  total: 6
+- Classes of the subtype -
+ list:
+  Int: 6 (100.00%)
+  total: 6
+-- On covariance only --
+- Specific covariance case explanations -
+ list:
+  total: 0
+- Classes of the subtype, when covariance -
+ list:
+  total: 0
+- Patterns of the covariant cases -
+ list:
+  total: 0
+- Nodes of the covariance cases -
+ list:
+  total: 0
+- Modules of the covariance cases -
+ list:
+  total: 0
+- Kind of the expression node (when it make sense) -
+ list:
+  total: 0
+-- Casts --
+- Kind of cast target -
+ list:
+  total: 0
+- Classes of the cast -
+ list:
+  total: 0
+- Cast pattern -
+ list:
+  total: 0
+- Autocasts -
+ list:
+  total: 0
 
 # Nullable metrics