Package: org.overture.typechecker.visitor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.visitor
M: 4270 C: 20518
83%
M: 492 C: 1664
77%
M: 413 C: 943
70%
M: 679 C: 3404
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: 1234 C: 4204
77%
M: 147 C: 413
74%
M: 126 C: 193
61%
M: 181 C: 704
80%
M: 5 C: 34
87%
M: 0 C: 1
100%
TypeCheckerExpVisitor
M: 765 C: 9985
93%
M: 88 C: 754
90%
M: 77 C: 461
86%
M: 135 C: 1666
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: 114 C: 532
82%
M: 23 C: 47
67%
M: 22 C: 20
48%
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: 3007
75%
M: 109 C: 245
69%
M: 82 C: 142
63%
M: 164 C: 487
75%
M: 4 C: 43
91%
M: 0 C: 1
100%