Package: org.overture.typechecker

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker
M: 919 C: 4593
83%
M: 170 C: 666
80%
M: 169 C: 425
72%
M: 198 C: 1033
84%
M: 31 C: 145
82%
M: 0 C: 20
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassTypeChecker
M: 83 C: 356
81%
M: 19 C: 39
67%
M: 15 C: 19
56%
M: 19 C: 72
79%
M: 0 C: 5
100%
M: 0 C: 1
100%
Environment
M: 50 C: 215
81%
M: 6 C: 36
86%
M: 7 C: 24
77%
M: 10 C: 47
82%
M: 2 C: 8
80%
M: 0 C: 1
100%
ExcludedDefinitions
M: 3 C: 40
93%
M: 0 C: 4
100%
M: 1 C: 7
88%
M: 1 C: 14
93%
M: 1 C: 5
83%
M: 0 C: 1
100%
FlatCheckedEnvironment
M: 0 C: 54
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 15
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
FlatEnvironment
M: 18 C: 192
91%
M: 5 C: 21
81%
M: 7 C: 23
77%
M: 4 C: 43
91%
M: 2 C: 15
88%
M: 0 C: 1
100%
LexNameTokenAssistant
M: 0 C: 51
100%
M: 2 C: 14
88%
M: 2 C: 8
80%
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
ModuleEnvironment
M: 33 C: 122
79%
M: 2 C: 12
86%
M: 4 C: 15
79%
M: 8 C: 29
78%
M: 3 C: 9
75%
M: 0 C: 1
100%
ModuleTypeChecker
M: 117 C: 614
84%
M: 26 C: 70
73%
M: 21 C: 29
58%
M: 24 C: 117
83%
M: 0 C: 2
100%
M: 0 C: 1
100%
PrivateClassEnvironment
M: 13 C: 110
89%
M: 3 C: 15
83%
M: 5 C: 16
76%
M: 3 C: 23
88%
M: 2 C: 10
83%
M: 0 C: 1
100%
PublicClassEnvironment
M: 71 C: 98
58%
M: 6 C: 12
67%
M: 10 C: 13
57%
M: 16 C: 25
61%
M: 5 C: 9
64%
M: 0 C: 1
100%
RecursiveLoops
M: 3 C: 426
99%
M: 1 C: 45
98%
M: 1 C: 35
97%
M: 2 C: 95
98%
M: 0 C: 13
100%
M: 0 C: 1
100%
RecursiveLoops$Apply
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%
TypeCheckException
M: 6 C: 30
83%
M: 2 C: 2
50%
M: 2 C: 2
50%
M: 1 C: 10
91%
M: 0 C: 2
100%
M: 0 C: 1
100%
TypeCheckInfo
M: 169 C: 170
50%
M: 14 C: 0
0%
M: 17 C: 10
37%
M: 39 C: 27
41%
M: 10 C: 10
50%
M: 0 C: 1
100%
TypeChecker
M: 87 C: 384
82%
M: 14 C: 44
76%
M: 16 C: 35
69%
M: 20 C: 93
82%
M: 3 C: 19
86%
M: 0 C: 1
100%
TypeChecker$1
M: 0 C: 50
100%
M: 1 C: 5
83%
M: 1 C: 5
83%
M: 0 C: 9
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
TypeChecker$IStatusListener
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
TypeCheckerErrors
M: 0 C: 49
100%
M: 0 C: 6
100%
M: 0 C: 11
100%
M: 0 C: 19
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
TypeComparator
M: 256 C: 1555
86%
M: 68 C: 336
83%
M: 58 C: 162
74%
M: 49 C: 366
88%
M: 2 C: 16
89%
M: 0 C: 1
100%
TypeComparator$Result
M: 0 C: 34
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
TypeComparator$TypePair
M: 10 C: 34
77%
M: 1 C: 5
83%
M: 2 C: 4
67%
M: 2 C: 8
80%
M: 1 C: 2
67%
M: 0 C: 1
100%