Package: org.overture.typechecker.visitor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.visitor
M: 3959 C: 19902
83%
M: 452 C: 1624
78%
M: 384 C: 924
71%
M: 622 C: 3314
84%
M: 16 C: 254
94%
M: 0 C: 11
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AbstractTypeCheckVisitor
M: 20 C: 484
96%
M: 3 C: 33
92%
M: 5 C: 23
82%
M: 5 C: 77
94%
M: 2 C: 8
80%
M: 0 C: 1
100%
AbstractTypeCheckVisitor$1
M: 2 C: 19
90%
M: 0 C: 0
100%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 0 C: 1
100%
QualificationVisitor
M: 4 C: 110
96%
M: 4 C: 12
75%
M: 5 C: 9
64%
M: 1 C: 22
96%
M: 1 C: 5
83%
M: 0 C: 1
100%
TypeCheckVisitor
M: 19 C: 150
89%
M: 2 C: 0
0%
M: 2 C: 16
89%
M: 4 C: 24
86%
M: 1 C: 16
94%
M: 0 C: 1
100%
TypeCheckerDefinitionVisitor
M: 1206 C: 3867
76%
M: 143 C: 397
74%
M: 123 C: 185
60%
M: 178 C: 645
78%
M: 5 C: 33
87%
M: 0 C: 1
100%
TypeCheckerExpVisitor
M: 717 C: 9879
93%
M: 85 C: 745
90%
M: 73 C: 458
86%
M: 126 C: 1655
93%
M: 1 C: 115
99%
M: 0 C: 1
100%
TypeCheckerExportsVisitor
M: 102 C: 478
82%
M: 15 C: 43
74%
M: 15 C: 20
57%
M: 12 C: 84
88%
M: 0 C: 6
100%
M: 0 C: 1
100%
TypeCheckerImportsVisitor
M: 113 C: 520
82%
M: 20 C: 46
70%
M: 20 C: 20
50%
M: 11 C: 90
89%
M: 0 C: 7
100%
M: 0 C: 1
100%
TypeCheckerOthersVisitor
M: 689 C: 1291
65%
M: 59 C: 103
64%
M: 51 C: 45
47%
M: 109 C: 199
65%
M: 1 C: 14
93%
M: 0 C: 1
100%
TypeCheckerPatternVisitor
M: 144 C: 227
61%
M: 12 C: 12
50%
M: 8 C: 9
53%
M: 18 C: 41
69%
M: 1 C: 4
80%
M: 0 C: 1
100%
TypeCheckerStmVisitor
M: 943 C: 2877
75%
M: 109 C: 233
68%
M: 81 C: 136
63%
M: 157 C: 474
75%
M: 3 C: 43
93%
M: 0 C: 1
100%