Package: org.overture.typechecker.visitor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.visitor
M: 4237 C: 20332
83%
M: 483 C: 1649
77%
M: 406 C: 938
70%
M: 676 C: 3378
83%
M: 21 C: 257
92%
M: 0 C: 11
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AbstractTypeCheckVisitor
M: 172 C: 515
75%
M: 29 C: 35
55%
M: 21 C: 25
54%
M: 37 C: 82
69%
M: 4 C: 10
71%
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: 55 C: 150
73%
M: 6 C: 0
0%
M: 5 C: 16
76%
M: 11 C: 24
69%
M: 2 C: 16
89%
M: 0 C: 1
100%
TypeCheckerDefinitionVisitor
M: 1217 C: 4071
77%
M: 144 C: 402
74%
M: 124 C: 188
60%
M: 180 C: 680
79%
M: 5 C: 34
87%
M: 0 C: 1
100%
TypeCheckerExpVisitor
M: 753 C: 9964
93%
M: 85 C: 751
90%
M: 74 C: 461
86%
M: 133 C: 1669
93%
M: 2 C: 115
98%
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: 110 C: 529
83%
M: 20 C: 46
70%
M: 20 C: 20
50%
M: 10 C: 92
90%
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: 989 C: 2978
75%
M: 109 C: 245
69%
M: 82 C: 142
63%
M: 164 C: 482
75%
M: 4 C: 43
91%
M: 0 C: 1
100%