Package: org.overture.typechecker.visitor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.visitor
M: 4414 C: 20186
82%
M: 504 C: 1624
76%
M: 423 C: 919
68%
M: 700 C: 3354
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: 5 C: 11
69%
M: 6 C: 8
57%
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: 1294 C: 4015
76%
M: 149 C: 395
73%
M: 126 C: 185
59%
M: 191 C: 673
78%
M: 5 C: 34
87%
M: 0 C: 1
100%
TypeCheckerExpVisitor
M: 815 C: 9876
92%
M: 95 C: 735
89%
M: 84 C: 448
84%
M: 142 C: 1651
92%
M: 2 C: 115
98%
M: 0 C: 1
100%
TypeCheckerExportsVisitor
M: 122 C: 458
79%
M: 16 C: 42
72%
M: 16 C: 19
54%
M: 15 C: 81
84%
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: 1003 C: 2993
75%
M: 110 C: 244
69%
M: 83 C: 141
63%
M: 165 C: 486
75%
M: 4 C: 43
91%
M: 0 C: 1
100%