Package: org.overture.typechecker

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.typechecker
M: 760 C: 4009
84%
M: 143 C: 609
81%
M: 147 C: 390
73%
M: 164 C: 917
85%
M: 29 C: 132
82%
M: 0 C: 18
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassTypeChecker
M: 31 C: 324
91%
M: 10 C: 36
78%
M: 9 C: 19
68%
M: 8 C: 66
89%
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: 49
100%
M: 2 C: 14
88%
M: 2 C: 8
80%
M: 0 C: 16
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: 83 C: 564
87%
M: 20 C: 64
76%
M: 17 C: 27
61%
M: 16 C: 108
87%
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%
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: 166 C: 135
45%
M: 14 C: 0
0%
M: 17 C: 9
35%
M: 39 C: 24
38%
M: 10 C: 9
47%
M: 0 C: 1
100%
TypeChecker
M: 63 C: 405
87%
M: 11 C: 45
80%
M: 13 C: 37
74%
M: 16 C: 96
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: 1498
87%
M: 62 C: 330
84%
M: 52 C: 162
76%
M: 41 C: 362
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%