tests: update sav/ because of new loader
[nit.git] / tests / sav / nitmetrics_args1.res
index e706f2c..7684a23 100644 (file)
@@ -1,8 +1,96 @@
 *** METRICS ***
+--- AST Metrics ---
+## All nodes of the AST
+ population: 51
+ minimum value: 1
+ maximum value: 40
+ total value: 289
+ average value: 5.66
+ distribution:
+  <=1: sub-population=16 (31.37%); cumulated value=16 (5.53%)
+  <=2: sub-population=5 (9.80%); cumulated value=10 (3.46%)
+  <=4: sub-population=9 (17.64%); cumulated value=28 (9.68%)
+  <=8: sub-population=12 (23.52%); cumulated value=76 (26.29%)
+  <=16: sub-population=4 (7.84%); cumulated value=44 (15.22%)
+  <=32: sub-population=4 (7.84%); cumulated value=75 (25.95%)
+  <=64: sub-population=1 (1.96%); cumulated value=40 (13.84%)
+ list:
+  TId: 40 (13.84%)
+  APublicVisibility: 19 (6.57%)
+  AQid: 19 (6.57%)
+  AListExprs: 19 (6.57%)
+  ACallExpr: 18 (6.22%)
+  TClassid: 15 (5.19%)
+  TInteger: 10 (3.46%)
+  AIntegerExpr: 10 (3.46%)
+  AType: 9 (3.11%)
+  TKwend: 8 (2.76%)
+  ...
+  ACallAssignExpr: 1 (0.34%)
+  AAnnotations: 1 (0.34%)
+  TKwreturn: 1 (0.34%)
+  AReturnExpr: 1 (0.34%)
+  AInterfaceClasskind: 1 (0.34%)
+  TKwinterface: 1 (0.34%)
+  ANoImport: 1 (0.34%)
+  AMainMethPropdef: 1 (0.34%)
+  AMainClassdef: 1 (0.34%)
+  TKwimport: 1 (0.34%)
+## All identifiers of the AST
+ population: 20
+ minimum value: 1
+ maximum value: 11
+ total value: 55
+ average value: 2.75
+ distribution:
+  <=1: sub-population=3 (15.00%); cumulated value=3 (5.45%)
+  <=2: sub-population=12 (60.00%); cumulated value=24 (43.63%)
+  <=4: sub-population=3 (15.00%); cumulated value=10 (18.18%)
+  <=8: sub-population=1 (5.00%); cumulated value=7 (12.72%)
+  <=16: sub-population=1 (5.00%); cumulated value=11 (20.00%)
+ list:
+  output: 11 (20.00%)
+  Int: 7 (12.72%)
+  run: 4 (7.27%)
+  c: 3 (5.45%)
+  val: 3 (5.45%)
+  i: 2 (3.63%)
+  bar: 2 (3.63%)
+  foo: 2 (3.63%)
+  val2: 2 (3.63%)
+  val1: 2 (3.63%)
+  C: 2 (3.63%)
+  v: 2 (3.63%)
+  baz: 2 (3.63%)
+  a: 2 (3.63%)
+  A: 2 (3.63%)
+  B: 2 (3.63%)
+  b: 2 (3.63%)
+  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
 
 # MModules metrics
 
- ## project base_simple3
+ ## package base_simple3
   `- group base_simple3
        mnoa: number of ancestor modules
          avg: 0.0
          min: base_simple3 (1)
          std: 0.0
          sum: 1
-
-# MClasses metrics
-
- ## project base_simple3
-  `- group base_simple3
-       cnoa: number of ancestor classes
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnop: number of parent classes
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnoc: number of child classes
-         avg: 0.0
-         max: Object (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 6
-       cnod: number of descendant classes
-         avg: 0.0
-         max: Object (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 6
-       cdit: depth in class tree
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnbp: number of accessible properties (inherited + local)
-         avg: 6.0
-         max: C (10)
-         min: Object (4)
-         std: 2.268
-         sum: 42
-       cnba: number of accessible attributes (inherited + local)
-         avg: 0.0
-         max: C (2)
-         min: Object (0)
-         std: 0.845
-         sum: 3
-       cnbip: number of introduced properties
-         avg: 2.0
-         max: C (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 18
-       cnbrp: number of redefined properties
-         avg: 0.0
-         max: A (1)
-         min: Object (0)
-         std: 0.535
-         sum: 2
-       cnbhp: number of inherited properties
-         avg: 3.0
-         max: Bool (4)
-         min: Object (0)
-         std: 1.464
-         sum: 24
-
- ## global metrics
-       cnoa: number of ancestor classes
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnop: number of parent classes
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnoc: number of child classes
-         avg: 0.0
-         max: Object (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 6
-       cnod: number of descendant classes
-         avg: 0.0
-         max: Object (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 6
-       cdit: depth in class tree
-         avg: 0.0
-         max: Bool (1)
-         min: Object (0)
-         std: 0.926
-         sum: 6
-       cnbp: number of accessible properties (inherited + local)
-         avg: 6.0
-         max: C (10)
-         min: Object (4)
-         std: 2.268
-         sum: 42
-       cnba: number of accessible attributes (inherited + local)
-         avg: 0.0
-         max: C (2)
-         min: Object (0)
-         std: 0.845
-         sum: 3
-       cnbip: number of introduced properties
-         avg: 2.0
-         max: C (6)
-         min: Bool (0)
-         std: 2.268
-         sum: 18
-       cnbrp: number of redefined properties
-         avg: 0.0
-         max: A (1)
-         min: Object (0)
-         std: 0.535
-         sum: 2
-       cnbhp: number of inherited properties
-         avg: 3.0
-         max: Bool (4)
-         min: Object (0)
-         std: 1.464
-         sum: 24
 --- Poset metrics ---
 ## Module importation hierarchy
 Number of nodes: 1
 Number of edges: 1 (1.00 per node)
-Number of direct edges: 0 (0.0 per node)
+Number of direct edges: 0 (0.00 per node)
 Distribution of greaters
  population: 1
  minimum value: 1
@@ -271,7 +232,7 @@ Distribution of direct greaters
  minimum value: 0
  maximum value: 0
  total value: 0
- average value: 0.0
+ average value: 0.00
  distribution:
   <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
 Distribution of smallers
@@ -287,7 +248,7 @@ Distribution of direct smallers
  minimum value: 0
  maximum value: 0
  total value: 0
- average value: 0.0
+ average value: 0.00
  distribution:
   <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
 ## Classdef hierarchy
@@ -310,7 +271,7 @@ Distribution of direct greaters
  total value: 6
  average value: 0.85
  distribution:
-  <=0: sub-population=1 (14.28%); cumulated value=0 (0.0%)
+  <=0: sub-population=1 (14.28%); cumulated value=0 (0.00%)
   <=1: sub-population=6 (85.71%); cumulated value=6 (100.00%)
 Distribution of smallers
  population: 7
@@ -328,7 +289,7 @@ Distribution of direct smallers
  total value: 6
  average value: 0.85
  distribution:
-  <=0: sub-population=6 (85.71%); cumulated value=0 (0.0%)
+  <=0: sub-population=6 (85.71%); cumulated value=0 (0.00%)
   <=8: sub-population=1 (14.28%); cumulated value=6 (100.00%)
 ## Class hierarchy
 Number of nodes: 7
@@ -350,7 +311,7 @@ Distribution of direct greaters
  total value: 6
  average value: 0.85
  distribution:
-  <=0: sub-population=1 (14.28%); cumulated value=0 (0.0%)
+  <=0: sub-population=1 (14.28%); cumulated value=0 (0.00%)
   <=1: sub-population=6 (85.71%); cumulated value=6 (100.00%)
 Distribution of smallers
  population: 7
@@ -368,78 +329,8 @@ Distribution of direct smallers
  total value: 6
  average value: 0.85
  distribution:
-  <=0: sub-population=6 (85.71%); cumulated value=0 (0.0%)
+  <=0: sub-population=6 (85.71%); cumulated value=0 (0.00%)
   <=8: sub-population=1 (14.28%); cumulated value=6 (100.00%)
---- AST Metrics ---
-## All nodes of the AST
- population: 48
- minimum value: 1
- maximum value: 40
- total value: 261
- average value: 5.43
- distribution:
-  <=1: sub-population=15 (31.25%); cumulated value=15 (5.74%)
-  <=2: sub-population=5 (10.41%); cumulated value=10 (3.83%)
-  <=4: sub-population=10 (20.83%); cumulated value=32 (12.26%)
-  <=8: sub-population=10 (20.83%); cumulated value=64 (24.52%)
-  <=16: sub-population=4 (8.33%); cumulated value=44 (16.85%)
-  <=32: sub-population=3 (6.25%); cumulated value=56 (21.45%)
-  <=64: sub-population=1 (2.08%); cumulated value=40 (15.32%)
- list:
-  TId: 40 (15.32%)
-  APublicVisibility: 19 (7.27%)
-  AListExprs: 19 (7.27%)
-  ACallExpr: 18 (6.89%)
-  TClassid: 15 (5.74%)
-  TNumber: 10 (3.83%)
-  ADecIntExpr: 10 (3.83%)
-  AType: 9 (3.44%)
-  TKwend: 8 (3.06%)
-  ASignature: 8 (3.06%)
-  ...
-  ACallAssignExpr: 1 (0.38%)
-  AAnnotations: 1 (0.38%)
-  AReturnExpr: 1 (0.38%)
-  TKwreturn: 1 (0.38%)
-  AInterfaceClasskind: 1 (0.38%)
-  TKwinterface: 1 (0.38%)
-  ANoImport: 1 (0.38%)
-  AMainMethPropdef: 1 (0.38%)
-  AMainClassdef: 1 (0.38%)
-  TKwimport: 1 (0.38%)
-## All identifiers of the AST
- population: 20
- minimum value: 1
- maximum value: 11
- total value: 55
- average value: 2.75
- distribution:
-  <=1: sub-population=3 (15.00%); cumulated value=3 (5.45%)
-  <=2: sub-population=12 (60.00%); cumulated value=24 (43.63%)
-  <=4: sub-population=3 (15.00%); cumulated value=10 (18.18%)
-  <=8: sub-population=1 (5.00%); cumulated value=7 (12.72%)
-  <=16: sub-population=1 (5.00%); cumulated value=11 (20.00%)
- list:
-  output: 11 (20.00%)
-  Int: 7 (12.72%)
-  run: 4 (7.27%)
-  c: 3 (5.45%)
-  val: 3 (5.45%)
-  i: 2 (3.63%)
-  bar: 2 (3.63%)
-  foo: 2 (3.63%)
-  val2: 2 (3.63%)
-  val1: 2 (3.63%)
-  C: 2 (3.63%)
-  v: 2 (3.63%)
-  baz: 2 (3.63%)
-  a: 2 (3.63%)
-  A: 2 (3.63%)
-  B: 2 (3.63%)
-  b: 2 (3.63%)
-  intern: 1 (1.81%)
-  Object: 1 (1.81%)
-  Bool: 1 (1.81%)
 --- Metrics of refinement usage ---
 Number of modules: 1
 
@@ -449,8 +340,8 @@ Number of classes: 7
   Number of class kind: 4 (57.14%)
 
 Number of class definitions: 7
-Number of refined classes: 0 (0.0%)
-Average number of class refinments by classes: 0.0
+Number of refined classes: 0 (0.00%)
+Average number of class refinments by classes: 0.00
 Average number of class refinments by refined classes: na
 
 Number of properties: 18
@@ -467,15 +358,142 @@ Total number of implicit self: 4 (80.00%)
 --- Construction of tables ---
 Number of runtime classes: 6 (excluding interfaces and abstract classes)
 Average number of composing class definition by runtime class: 2.00
-Total size of tables (classes and instances): 38 (not including stuff like info for subtyping or call-next-method)
-Average size of table by runtime class: 6.33
-Values never redefined: 32 (84.21%)
-generating out/nitmetrics_args1.write/project_hierarchy.dot
-generating out/nitmetrics_args1.write/module_hierarchy.dot
+Total size of tables (classes and instances): 23 (not including stuff like info for subtyping or call-next-method)
+Average size of table by runtime class: 3.83
+Values never redefined: 17 (73.91%)
+generating package_hierarchy.dot
+generating module_hierarchy.dot
+
+# MClasses metrics
+
+ ## package base_simple3
+  `- group base_simple3
+       cnoa: number of ancestor classes
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnop: number of parent classes
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnoc: number of child classes
+         avg: 0.0
+         max: Object (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 6
+       cnod: number of descendant classes
+         avg: 0.0
+         max: Object (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 6
+       cdit: depth in class tree
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnbp: number of accessible properties (inherited + local)
+         avg: 3.0
+         max: C (7)
+         min: Object (1)
+         std: 2.36
+         sum: 24
+       cnba: number of accessible attributes (inherited + local)
+         avg: 0.0
+         max: C (2)
+         min: Object (0)
+         std: 0.845
+         sum: 3
+       cnbip: number of introduced properties
+         avg: 2.0
+         max: C (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 18
+       cnbrp: number of redefined properties
+         avg: 0.0
+         max: A (1)
+         min: Object (0)
+         std: 0.535
+         sum: 2
+       cnbhp: number of inherited properties
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+
+ ## global metrics
+       cnoa: number of ancestor classes
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnop: number of parent classes
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnoc: number of child classes
+         avg: 0.0
+         max: Object (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 6
+       cnod: number of descendant classes
+         avg: 0.0
+         max: Object (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 6
+       cdit: depth in class tree
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
+       cnbp: number of accessible properties (inherited + local)
+         avg: 3.0
+         max: C (7)
+         min: Object (1)
+         std: 2.36
+         sum: 24
+       cnba: number of accessible attributes (inherited + local)
+         avg: 0.0
+         max: C (2)
+         min: Object (0)
+         std: 0.845
+         sum: 3
+       cnbip: number of introduced properties
+         avg: 2.0
+         max: C (6)
+         min: Bool (0)
+         std: 2.268
+         sum: 18
+       cnbrp: number of redefined properties
+         avg: 0.0
+         max: A (1)
+         min: Object (0)
+         std: 0.535
+         sum: 2
+       cnbhp: number of inherited properties
+         avg: 0.0
+         max: Bool (1)
+         min: Object (0)
+         std: 0.926
+         sum: 6
 
 # Inheritance metrics
 
- ## project base_simple3
+ ## package base_simple3
   `- group base_simple3
        cnoac: number of class_kind ancestor
          avg: 0.0
@@ -677,22 +695,63 @@ Statistics of type usage:
   A: 1 (11.11%)
 
 # Mendel metrics
-       large mclasses (threshold: 2.291)
-          B: 3
-          C: 3
-       budding mclasses (threshold: 0.693)
-          B: 0.75
-          C: 0.75
-       blooming mclasses (threshold: 1.935)
-          B: 2.25
-          C: 2.25
-       blooming mclasses (threshold: 1.935)
-          B: 2.25
-          C: 2.25
+       large mclasses (threshold: 3.915)
+          C: 5
+          B: 4
+          Sys: 4
+       budding mclasses (threshold: 5.033)
+       blooming mclasses (threshold: 21.874)
+          C: 25.0
+--- 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
 
- ## project base_simple3
+ ## package base_simple3
   `- group base_simple3
        cnba: number of accessible attributes (inherited + local)
          avg: 0.0
@@ -714,8 +773,9 @@ Statistics of type usage:
          sum: 0
 --- Sends on Nullable Receiver ---
 Total number of sends: 19
-Number of sends on a nullable receiver: 0 (0.0%)
-Number of buggy sends (cannot determine the type of the receiver): 0 (0.0%)
+Number of sends on a unsafe nullable receiver: 0 (0.00%)
+Number of sends on a safe nullable receiver: 0 (0.00%)
+Number of buggy sends (cannot determine the type of the receiver): 0 (0.00%)
 
 # RTA metrics
 
@@ -798,49 +858,49 @@ Number of buggy sends (cannot determine the type of the receiver): 0 (0.0%)
          sum: 0
 
  ## Callsites
-* 22 live callsites
+* 23 live callsites
 MMethodDef locally designated (by number of CallSites)
- population: 13
+ population: 14
  minimum value: 1
  maximum value: 10
- total value: 22
- average value: 1.69
+ total value: 23
+ average value: 1.64
  distribution:
-  <=1: sub-population=12 (92.30%); cumulated value=12 (54.54%)
-  <=16: sub-population=1 (7.69%); cumulated value=10 (45.45%)
+  <=1: sub-population=13 (92.85%); cumulated value=13 (56.52%)
+  <=16: sub-population=1 (7.14%); cumulated value=10 (43.47%)
  list:
-  base_simple3#Int#output: 10 (45.45%)
-  base_simple3#B#val: 1 (4.54%)
-  base_simple3#B#val=: 1 (4.54%)
-  base_simple3#C#val2: 1 (4.54%)
-  base_simple3#C#val1: 1 (4.54%)
+  base_simple3#Int#output: 10 (43.47%)
+  base_simple3#B#val: 1 (4.34%)
+  base_simple3#B#val=: 1 (4.34%)
+  base_simple3#Object#init: 1 (4.34%)
+  base_simple3#C#val2: 1 (4.34%)
   ...
-  base_simple3#A#init: 1 (4.54%)
-  base_simple3#Object#baz: 1 (4.54%)
-  base_simple3#Object#bar: 1 (4.54%)
-  base_simple3#Object#foo: 1 (4.54%)
-  base_simple3#C#init: 1 (4.54%)
+  base_simple3#A#init: 1 (4.34%)
+  base_simple3#Sys#baz: 1 (4.34%)
+  base_simple3#Sys#bar: 1 (4.34%)
+  base_simple3#Sys#foo: 1 (4.34%)
+  base_simple3#C#init: 1 (4.34%)
 MMethodDef possibly invoked at runtime (by number of CallSites)
- population: 13
+ population: 14
  minimum value: 1
  maximum value: 10
- total value: 22
- average value: 1.69
+ total value: 23
+ average value: 1.64
  distribution:
-  <=1: sub-population=12 (92.30%); cumulated value=12 (54.54%)
-  <=16: sub-population=1 (7.69%); cumulated value=10 (45.45%)
+  <=1: sub-population=13 (92.85%); cumulated value=13 (56.52%)
+  <=16: sub-population=1 (7.14%); cumulated value=10 (43.47%)
  list:
-  base_simple3#Int#output: 10 (45.45%)
-  base_simple3#B#val: 1 (4.54%)
-  base_simple3#B#val=: 1 (4.54%)
-  base_simple3#C#val2: 1 (4.54%)
-  base_simple3#C#val1: 1 (4.54%)
+  base_simple3#Int#output: 10 (43.47%)
+  base_simple3#B#val: 1 (4.34%)
+  base_simple3#B#val=: 1 (4.34%)
+  base_simple3#Object#init: 1 (4.34%)
+  base_simple3#C#val2: 1 (4.34%)
   ...
-  base_simple3#A#init: 1 (4.54%)
-  base_simple3#Object#baz: 1 (4.54%)
-  base_simple3#Object#bar: 1 (4.54%)
-  base_simple3#Object#foo: 1 (4.54%)
-  base_simple3#C#init: 1 (4.54%)
+  base_simple3#A#init: 1 (4.34%)
+  base_simple3#Sys#baz: 1 (4.34%)
+  base_simple3#Sys#bar: 1 (4.34%)
+  base_simple3#Sys#foo: 1 (4.34%)
+  base_simple3#C#init: 1 (4.34%)
 class_hierarchy.dot
 classdef_hierarchy.dot
 inheritance/
@@ -850,5 +910,5 @@ mmodules/
 model.html
 module_hierarchy.dot
 nullables/
-project_hierarchy.dot
+package_hierarchy.dot
 rta/