[Jenkins]Jenkins

Package: org.overture.typechecker.utilities.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.utilities.type
M: 1588 C: 4821
75%
M: 246 C: 478
66%
M: 288 C: 436
60%
M: 316 C: 1013
76%
M: 118 C: 244
67%
M: 2 C: 38
95%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassBasisChecker
M: 3 C: 51
94%
M: 1 C: 5
83%
M: 1 C: 8
89%
M: 0 C: 12
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
ClassTypeFinder
M: 69 C: 373
84%
M: 18 C: 40
69%
M: 13 C: 23
64%
M: 11 C: 75
87%
M: 2 C: 5
71%
M: 0 C: 1
100%
ConcreateTypeImplementor
M: 18 C: 213
92%
M: 0 C: 8
100%
M: 3 C: 14
82%
M: 3 C: 30
91%
M: 3 C: 10
77%
M: 0 C: 1
100%
ConcreateTypeImplementor$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%
DetailedTypeDisplayer
M: 4 C: 33
89%
M: 0 C: 0
100%
M: 2 C: 3
60%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 0 C: 1
100%
FunctionTypeFinder
M: 22 C: 210
91%
M: 6 C: 16
73%
M: 7 C: 15
68%
M: 5 C: 40
89%
M: 3 C: 8
73%
M: 0 C: 1
100%
IsEqVisitor
M: 66 C: 0
0%
M: 10 C: 0
0%
M: 12 C: 0
0%
M: 15 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
IsOrderedVisitor
M: 9 C: 71
89%
M: 1 C: 9
90%
M: 3 C: 13
81%
M: 3 C: 16
84%
M: 2 C: 9
82%
M: 0 C: 1
100%
MapBasisChecker
M: 3 C: 39
93%
M: 1 C: 3
75%
M: 1 C: 7
88%
M: 0 C: 9
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
MapTypeFinder
M: 13 C: 119
90%
M: 4 C: 10
71%
M: 4 C: 10
71%
M: 2 C: 22
92%
M: 1 C: 6
86%
M: 0 C: 1
100%
MultipleEqualityChecker
M: 17 C: 44
72%
M: 3 C: 5
63%
M: 3 C: 3
50%
M: 3 C: 9
75%
M: 0 C: 2
100%
M: 0 C: 1
100%
MultipleEqualityChecker$1
M: 5 C: 15
75%
M: 1 C: 1
50%
M: 2 C: 3
60%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 0 C: 1
100%
NarrowerThanComparator
M: 69 C: 263
79%
M: 14 C: 32
70%
M: 12 C: 27
69%
M: 15 C: 54
78%
M: 3 C: 13
81%
M: 0 C: 1
100%
OperationBasisChecker
M: 32 C: 43
57%
M: 5 C: 5
50%
M: 5 C: 7
58%
M: 3 C: 10
77%
M: 2 C: 5
71%
M: 0 C: 1
100%
OperationTypeFinder
M: 31 C: 188
86%
M: 8 C: 16
67%
M: 7 C: 12
63%
M: 6 C: 37
86%
M: 2 C: 5
71%
M: 0 C: 1
100%
PTypeExtendedChecker
M: 17 C: 75
82%
M: 1 C: 7
88%
M: 4 C: 10
71%
M: 3 C: 17
85%
M: 3 C: 7
70%
M: 0 C: 1
100%
PTypeFinder
M: 126 C: 0
0%
M: 18 C: 0
0%
M: 21 C: 0
0%
M: 24 C: 0
0%
M: 12 C: 0
0%
M: 1 C: 0
0%
PTypeResolver
M: 109 C: 1000
90%
M: 17 C: 117
87%
M: 18 C: 70
80%
M: 32 C: 220
87%
M: 3 C: 18
86%
M: 0 C: 1
100%
PTypeResolver$Newquestion
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
ParameterFinder
M: 79 C: 204
72%
M: 2 C: 8
80%
M: 6 C: 16
73%
M: 15 C: 40
73%
M: 5 C: 12
71%
M: 0 C: 1
100%
ProductBasisChecker
M: 3 C: 46
94%
M: 1 C: 5
83%
M: 1 C: 8
89%
M: 0 C: 11
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
ProductExtendedChecker
M: 13 C: 74
85%
M: 3 C: 5
63%
M: 6 C: 10
63%
M: 3 C: 13
81%
M: 3 C: 9
75%
M: 0 C: 1
100%
ProductExtendedTypeFinder
M: 30 C: 217
88%
M: 8 C: 24
75%
M: 8 C: 19
70%
M: 6 C: 37
86%
M: 3 C: 8
73%
M: 0 C: 1
100%
ProductTypeFinder
M: 15 C: 56
79%
M: 5 C: 3
38%
M: 5 C: 7
58%
M: 3 C: 11
79%
M: 1 C: 7
88%
M: 0 C: 1
100%
QualifiedDefinition
M: 0 C: 25
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 9
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
RecordBasisChecker
M: 6 C: 228
97%
M: 2 C: 24
92%
M: 2 C: 15
88%
M: 1 C: 44
98%
M: 0 C: 4
100%
M: 0 C: 1
100%
RecordTypeFinder
M: 208 C: 48
19%
M: 22 C: 6
21%
M: 14 C: 6
30%
M: 38 C: 12
24%
M: 1 C: 5
83%
M: 0 C: 1
100%
SeqBasisChecker
M: 3 C: 46
94%
M: 1 C: 5
83%
M: 1 C: 8
89%
M: 0 C: 11
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
SeqTypeFinder
M: 15 C: 127
89%
M: 5 C: 17
77%
M: 5 C: 13
72%
M: 3 C: 24
89%
M: 1 C: 6
86%
M: 0 C: 1
100%
SetBasisChecker
M: 3 C: 46
94%
M: 1 C: 5
83%
M: 1 C: 8
89%
M: 0 C: 11
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
SetTypeFinder
M: 15 C: 125
89%
M: 5 C: 17
77%
M: 5 C: 13
72%
M: 3 C: 25
89%
M: 1 C: 6
86%
M: 0 C: 1
100%
TagBasisChecker
M: 12 C: 16
57%
M: 2 C: 2
50%
M: 4 C: 2
33%
M: 3 C: 6
67%
M: 2 C: 2
50%
M: 0 C: 1
100%
TypeDisplayer
M: 297 C: 16
5%
M: 17 C: 1
6%
M: 45 C: 3
6%
M: 47 C: 5
10%
M: 36 C: 3
8%
M: 0 C: 1
100%
TypeEqualityChecker
M: 201 C: 350
64%
M: 47 C: 37
44%
M: 44 C: 22
33%
M: 44 C: 70
61%
M: 9 C: 15
63%
M: 0 C: 1
100%
TypeUnresolver
M: 22 C: 265
92%
M: 6 C: 32
84%
M: 7 C: 27
79%
M: 10 C: 72
88%
M: 2 C: 13
87%
M: 0 C: 1
100%
TypeUnwrapper
M: 20 C: 23
53%
M: 5 C: 1
17%
M: 5 C: 4
44%
M: 4 C: 3
43%
M: 2 C: 4
67%
M: 0 C: 1
100%
UnionBasisChecker
M: 6 C: 43
88%
M: 1 C: 1
50%
M: 2 C: 7
78%
M: 1 C: 10
91%
M: 1 C: 7
88%
M: 0 C: 1
100%
UnionTypeFinder
M: 15 C: 30
67%
M: 5 C: 3
38%
M: 5 C: 4
44%
M: 3 C: 8
73%
M: 1 C: 4
80%
M: 0 C: 1
100%
VoidBasisChecker
M: 6 C: 39
87%
M: 0 C: 4
100%
M: 2 C: 7
78%
M: 2 C: 11
85%
M: 2 C: 5
71%
M: 0 C: 1
100%
VoidExistanceChecker
M: 6 C: 39
87%
M: 0 C: 4
100%
M: 2 C: 7
78%
M: 2 C: 11
85%
M: 2 C: 5
71%
M: 0 C: 1
100%