tests/sav/nitstats_args1.sav

   1 *** STATS ***
   2
   3 --- Statistics of the model ---
   4 Number of modules: 1
   5
   6 Number of classes: 7
   7   Number of interface kind: 1 (14.27%)
   8   Number of enum kind: 2 (28.56%)
   9   Number of class kind: 4 (57.13%)
  10
  11 Number of class definitions: 8
  12 Number of refined classes: 1 (14.27%)
  13 Average number of class refinments by classes: 0.14
  14 Average number of class refinments by refined classes: 1.0
  15
  16 Number of properties: 19
  17   Number of MAttribute: 3 (15.77%)
  18   Number of MMethod: 16 (84.20%)
  19
  20 Number of property definitions: 19
  21 Number of redefined properties: 0 (0.0%)
  22 Average number of property redefinitions by property: 0.0
  23 Average number of property redefinitions by redefined property: na
  24
  25 --- Explicit vs. Implicit Self ---
  26 Total number of self: 5
  27 Total number of implicit self: 4 (80.0%)
  28
  29 --- Sends on Nullable Reciever ---
  30 Total number of sends: 19
  31 Number of sends on a nullable receiver: 0 (0.0%)
  32 Number of buggy sends (cannot determine the type of the receiver): 0 (0.0%)
  33
  34 --- Statistics of the explitic static types ---
  35 Total number of explicit static types: 9
  36 Most used types:
  37   Int: 6
  38   C: 1
  39   B: 1
  40   A: 1
  41 Distribution of type usage:
  42   <=1: 3 (75.0% of types; 33.33% of usage)
  43   <=8: 1 (25.0% of types; 66.66% of usage)
  44
  45 --- Construction of tables ---
  46 Number of runtime classes: 6 (excluding interfaces and abstract classes)
  47 Average number of composing class definition by runtime class: 3.0
  48 Total size of tables (classes and instances): 34 (not including stuff like info for subtyping or call-next-method)
  49 Average size of table by runtime class: 5.65
  50 Values never redefined: 34 (100.0%)
  51
  52 --- Type Analysis ---
  53 Number of live runtime types (instantied resolved type): 6
  54         Sys Bool Int A B C
  55 Number of live method definitions: 14
  56 Number of live customized method definitions: 14
  57 Number of live runtime cast types (ie used in as and isa): 0
  58
  59 class_hierarchy.dot
  60 classdef_hierarchy.dot
  61 model.html
  62 module_hierarchy.dot