Package: org.overture.typechecker.utilities.type

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker.utilities.type
M: 1189 C: 4858
80%
M: 196 C: 506
72%
M: 239 C: 452
65%
M: 227 C: 1031
82%
M: 95 C: 245
72%
M: 1 C: 37
97%

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%
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: 40 C: 86
68%
M: 8 C: 10
56%
M: 11 C: 10
48%
M: 6 C: 18
75%
M: 5 C: 7
58%
M: 0 C: 1
100%
PTypeResolver
M: 69 C: 1042
94%
M: 12 C: 122
91%
M: 14 C: 74
84%
M: 18 C: 234
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%
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: 104
87%
M: 5 C: 11
69%
M: 5 C: 10
67%
M: 3 C: 20
87%
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: 104
87%
M: 5 C: 11
69%
M: 5 C: 10
67%
M: 3 C: 21
88%
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: 264 C: 49
16%
M: 16 C: 2
11%
M: 42 C: 6
13%
M: 44 C: 8
15%
M: 33 C: 6
15%
M: 0 C: 1
100%
TypeEqualityChecker
M: 74 C: 477
87%
M: 19 C: 65
77%
M: 23 C: 43
65%
M: 15 C: 99
87%
M: 5 C: 19
79%
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: 9 C: 36
80%
M: 0 C: 4
100%
M: 3 C: 6
67%
M: 3 C: 10
77%
M: 3 C: 4
57%
M: 0 C: 1
100%