Package: org.overture.typechecker.visitor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.visitor
M: 4253 C: 20348
83%
M: 488 C: 1642
77%
M: 410 C: 933
69%
M: 678 C: 3375
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: 4092
77%
M: 143 C: 401
74%
M: 123 C: 188
60%
M: 180 C: 684
79%
M: 5 C: 34
87%
M: 0 C: 1
100%
TypeCheckerExpVisitor
M: 765 C: 9927
93%
M: 88 C: 744
89%
M: 77 C: 456
86%
M: 135 C: 1657
92%
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%