[Jenkins]Jenkins

Package: org.overture.typechecker.utilities.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.utilities.type
M: 1505 C: 4912
77%
M: 234 C: 490
68%
M: 278 C: 446
62%
M: 290 C: 1042
78%
M: 114 C: 248
69%
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: 53 C: 389
88%
M: 16 C: 42
72%
M: 12 C: 24
67%
M: 8 C: 78
91%
M: 1 C: 6
86%
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: 73 C: 1044
93%
M: 12 C: 122
91%
M: 14 C: 74
84%
M: 19 C: 236
93%
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: 9 C: 19
68%
M: 2 C: 2
50%
M: 3 C: 3
50%
M: 2 C: 7
78%
M: 1 C: 3
75%
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: 187 C: 364
66%
M: 44 C: 40
48%
M: 42 C: 24
36%
M: 40 C: 74
65%
M: 8 C: 16
67%
M: 0 C: 1
100%
TypeUnresolver
M: 8 C: 279
97%
M: 4 C: 34
89%
M: 5 C: 29
85%
M: 5 C: 77
94%
M: 1 C: 14
93%
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%