Package: org.overture.typechecker

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker
M: 836 C: 4676
85%
M: 157 C: 679
81%
M: 157 C: 437
74%
M: 184 C: 1047
85%
M: 29 C: 147
84%
M: 0 C: 20
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassTypeChecker
M: 65 C: 374
85%
M: 16 C: 42
72%
M: 13 C: 21
62%
M: 16 C: 75
82%
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: 0 C: 36
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 11
100%
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: 65 C: 406
86%
M: 12 C: 46
79%
M: 14 C: 37
73%
M: 16 C: 97
86%
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: 219 C: 1592
88%
M: 62 C: 342
85%
M: 52 C: 168
76%
M: 43 C: 372
90%
M: 0 C: 18
100%
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%