Package: org.overture.codegen.vdm2c

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c
M: 687 C: 4705
87%
M: 93 C: 317
77%
M: 112 C: 267
70%
M: 172 C: 923
84%
M: 32 C: 142
82%
M: 1 C: 18
95%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CForIterator
M: 11 C: 178
94%
M: 1 C: 1
50%
M: 2 C: 8
80%
M: 3 C: 22
88%
M: 1 C: 8
89%
M: 0 C: 1
100%
CFormat
M: 43 C: 405
90%
M: 7 C: 31
82%
M: 10 C: 33
77%
M: 11 C: 78
88%
M: 3 C: 21
88%
M: 0 C: 1
100%
CGen
M: 154 C: 1539
91%
M: 31 C: 153
83%
M: 34 C: 88
72%
M: 34 C: 337
91%
M: 5 C: 25
83%
M: 0 C: 1
100%
CGen$1
M: 2 C: 35
95%
M: 1 C: 5
83%
M: 1 C: 4
80%
M: 1 C: 7
88%
M: 0 C: 2
100%
M: 0 C: 1
100%
CGenMain
M: 352 C: 353
50%
M: 39 C: 35
47%
M: 35 C: 12
26%
M: 80 C: 79
50%
M: 6 C: 4
40%
M: 0 C: 1
100%
CGenSettings
M: 4 C: 19
83%
M: 0 C: 0
100%
M: 1 C: 4
80%
M: 2 C: 8
80%
M: 1 C: 4
80%
M: 0 C: 1
100%
CPrecedence
M: 10 C: 50
83%
M: 6 C: 10
63%
M: 5 C: 5
50%
M: 1 C: 14
93%
M: 0 C: 2
100%
M: 0 C: 1
100%
CTransSeries
M: 0 C: 484
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 76
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ClassHeaderGenerator
M: 0 C: 324
100%
M: 2 C: 32
94%
M: 2 C: 19
90%
M: 0 C: 68
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
ClassHeaderGenerator$1
M: 2 C: 28
93%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 1 C: 5
83%
M: 0 C: 2
100%
M: 0 C: 1
100%
ClassHeaderGenerator$2
M: 0 C: 56
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 15
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
ClassHeaderGenerator$HeaderProvider
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%
ColTrans
M: 3 C: 662
100%
M: 2 C: 12
86%
M: 3 C: 41
93%
M: 1 C: 96
99%
M: 1 C: 36
97%
M: 0 C: 1
100%
ConstructionUtils
M: 52 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 15 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
IHeaderFinder
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%
TimeFinder
M: 0 C: 48
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 13
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
TupleTrans
M: 3 C: 84
97%
M: 0 C: 0
100%
M: 1 C: 5
83%
M: 1 C: 17
94%
M: 1 C: 5
83%
M: 0 C: 1
100%
VTableGenerator
M: 3 C: 326
99%
M: 1 C: 27
96%
M: 2 C: 19
90%
M: 1 C: 61
98%
M: 1 C: 6
86%
M: 0 C: 1
100%
VarPrefixManager
M: 36 C: 51
59%
M: 0 C: 0
100%
M: 11 C: 8
42%
M: 17 C: 15
47%
M: 11 C: 8
42%
M: 0 C: 1
100%
Vdm2cTag
M: 12 C: 29
71%
M: 2 C: 2
50%
M: 2 C: 3
60%
M: 4 C: 9
69%
M: 0 C: 3
100%
M: 0 C: 1
100%
Vdm2cTag$MethodTag
M: 0 C: 34
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%