Package: org.overture.codegen.vdm2c.utils

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c.utils
M: 352 C: 2140
86%
M: 69 C: 103
60%
M: 58 C: 140
71%
M: 98 C: 437
82%
M: 12 C: 100
89%
M: 0 C: 14
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CExists1QuantifierStrategy
M: 4 C: 130
97%
M: 2 C: 2
50%
M: 2 C: 4
67%
M: 2 C: 24
92%
M: 0 C: 4
100%
M: 0 C: 1
100%
CGenUtil
M: 255 C: 14
5%
M: 44 C: 0
0%
M: 25 C: 1
4%
M: 69 C: 4
5%
M: 3 C: 1
25%
M: 0 C: 1
100%
CIotaStrategy
M: 13 C: 210
94%
M: 2 C: 2
50%
M: 2 C: 4
67%
M: 2 C: 42
95%
M: 0 C: 4
100%
M: 0 C: 1
100%
CLetBeStStrategy
M: 6 C: 70
92%
M: 1 C: 1
50%
M: 1 C: 2
67%
M: 2 C: 8
80%
M: 0 C: 2
100%
M: 0 C: 1
100%
CMapCompStrategy
M: 0 C: 123
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
COrdinaryQuantifierStrategy
M: 0 C: 45
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
CSeqCompStrategy
M: 0 C: 117
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
CSetCompStrategy
M: 0 C: 117
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 18
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
CTransUtil
M: 20 C: 571
97%
M: 11 C: 45
80%
M: 12 C: 50
81%
M: 6 C: 158
96%
M: 2 C: 32
94%
M: 0 C: 1
100%
GlobalFieldUtil
M: 15 C: 252
94%
M: 8 C: 28
78%
M: 8 C: 19
70%
M: 7 C: 61
90%
M: 0 C: 9
100%
M: 0 C: 1
100%
IApplyAssistant
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%
NameConverter
M: 3 C: 70
96%
M: 0 C: 6
100%
M: 1 C: 6
86%
M: 1 C: 14
93%
M: 1 C: 3
75%
M: 0 C: 1
100%
NameMangler
M: 5 C: 149
97%
M: 1 C: 11
92%
M: 2 C: 9
82%
M: 2 C: 24
92%
M: 1 C: 4
80%
M: 0 C: 1
100%
NameMangler$NameGenerator
M: 24 C: 247
91%
M: 0 C: 6
100%
M: 4 C: 23
85%
M: 5 C: 35
88%
M: 4 C: 20
83%
M: 0 C: 1
100%
QuoteNamesCollector
M: 7 C: 25
78%
M: 0 C: 0
100%
M: 1 C: 4
80%
M: 2 C: 7
78%
M: 1 C: 4
80%
M: 0 C: 1
100%