Package: org.overture.typechecker.utilities

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.utilities
M: 1194 C: 6588
85%
M: 180 C: 562
76%
M: 240 C: 580
71%
M: 233 C: 1298
85%
M: 114 C: 335
75%
M: 2 C: 28
93%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CallableOperationChecker
M: 28 C: 19
40%
M: 2 C: 0
0%
M: 6 C: 4
40%
M: 5 C: 6
55%
M: 5 C: 4
44%
M: 0 C: 1
100%
ComposeTypeCollector
M: 4 C: 248
98%
M: 0 C: 12
100%
M: 1 C: 20
95%
M: 1 C: 45
98%
M: 1 C: 14
93%
M: 0 C: 1
100%
DefinitionCollector
M: 54 C: 309
85%
M: 11 C: 33
75%
M: 11 C: 38
78%
M: 9 C: 82
90%
M: 3 C: 24
89%
M: 0 C: 1
100%
DefinitionEqualityChecker
M: 110 C: 34
24%
M: 19 C: 5
21%
M: 18 C: 4
18%
M: 26 C: 8
24%
M: 7 C: 3
30%
M: 0 C: 1
100%
DefinitionFinder
M: 20 C: 194
91%
M: 7 C: 29
81%
M: 7 C: 22
76%
M: 4 C: 41
91%
M: 2 C: 9
82%
M: 0 C: 1
100%
DefinitionFinder$Newquestion
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
DefinitionTypeFinder
M: 44 C: 158
78%
M: 10 C: 10
50%
M: 11 C: 27
71%
M: 7 C: 38
84%
M: 4 C: 24
86%
M: 0 C: 1
100%
DefinitionTypeResolver
M: 54 C: 911
94%
M: 5 C: 81
94%
M: 6 C: 53
90%
M: 8 C: 156
95%
M: 1 C: 15
94%
M: 0 C: 1
100%
DefinitionTypeResolver$NewQuestion
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
Dereferer
M: 34 C: 21
38%
M: 5 C: 1
17%
M: 7 C: 4
36%
M: 6 C: 6
50%
M: 4 C: 4
50%
M: 0 C: 1
100%
ExitTypeCollector
M: 193 C: 168
47%
M: 11 C: 9
45%
M: 21 C: 14
40%
M: 31 C: 30
49%
M: 14 C: 11
44%
M: 0 C: 1
100%
FreeVarInfo
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 11
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
FreeVariablesChecker
M: 104 C: 2113
95%
M: 19 C: 131
87%
M: 22 C: 142
87%
M: 20 C: 360
95%
M: 6 C: 83
93%
M: 0 C: 1
100%
FunctionChecker
M: 29 C: 75
72%
M: 7 C: 7
50%
M: 8 C: 10
56%
M: 5 C: 13
72%
M: 3 C: 8
73%
M: 0 C: 1
100%
ImplicitDefinitionFinder
M: 79 C: 1000
93%
M: 15 C: 61
80%
M: 11 C: 47
81%
M: 14 C: 196
93%
M: 0 C: 20
100%
M: 0 C: 1
100%
InstanceVariableChecker
M: 37 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 10 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
KindFinder
M: 55 C: 35
39%
M: 5 C: 1
17%
M: 20 C: 11
35%
M: 19 C: 13
41%
M: 17 C: 11
39%
M: 0 C: 1
100%
NameFinder
M: 61 C: 663
92%
M: 16 C: 152
90%
M: 14 C: 93
87%
M: 11 C: 146
93%
M: 2 C: 21
91%
M: 0 C: 1
100%
NameFinder$Newquestion
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
OperationChecker
M: 20 C: 48
71%
M: 5 C: 1
17%
M: 5 C: 10
67%
M: 4 C: 12
75%
M: 2 C: 10
83%
M: 0 C: 1
100%
PTypeFunctionChecker
M: 23 C: 68
75%
M: 6 C: 6
50%
M: 6 C: 11
65%
M: 4 C: 15
79%
M: 2 C: 9
82%
M: 0 C: 1
100%
PureDefinitionChecker
M: 37 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 10 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
SelfDefinitionFinder
M: 20 C: 39
66%
M: 5 C: 1
17%
M: 5 C: 4
44%
M: 4 C: 8
67%
M: 2 C: 4
67%
M: 0 C: 1
100%
TypeDefinitionChecker
M: 29 C: 30
51%
M: 5 C: 1
17%
M: 7 C: 6
46%
M: 6 C: 8
57%
M: 4 C: 6
60%
M: 0 C: 1
100%
UnusedChecker
M: 0 C: 64
100%
M: 3 C: 7
70%
M: 3 C: 8
73%
M: 0 C: 20
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
UpdatableChecker
M: 37 C: 50
57%
M: 6 C: 4
40%
M: 9 C: 8
47%
M: 7 C: 10
59%
M: 5 C: 7
58%
M: 0 C: 1
100%
UsedChecker
M: 28 C: 23
45%
M: 5 C: 1
17%
M: 6 C: 4
40%
M: 5 C: 6
55%
M: 3 C: 4
57%
M: 0 C: 1
100%
UsedMarker
M: 10 C: 45
82%
M: 0 C: 0
100%
M: 1 C: 5
83%
M: 3 C: 15
83%
M: 1 C: 5
83%
M: 0 C: 1
100%
ValueDefinitionChecker
M: 41 C: 23
36%
M: 5 C: 3
38%
M: 9 C: 5
36%
M: 8 C: 6
43%
M: 6 C: 4
40%
M: 0 C: 1
100%
VariableNameCollector
M: 43 C: 187
81%
M: 8 C: 6
43%
M: 10 C: 24
71%
M: 6 C: 35
85%
M: 4 C: 23
85%
M: 0 C: 1
100%