Package: org.overture.codegen.vdm2c.distribution.transformations

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c.distribution.transformations
M: 511 C: 1596
76%
M: 33 C: 71
68%
M: 27 C: 42
61%
M: 123 C: 386
76%
M: 4 C: 13
76%
M: 2 C: 6
75%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AddIncludesTrans
M: 0 C: 73
100%
M: 1 C: 5
83%
M: 1 C: 4
80%
M: 0 C: 20
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
CallFuncMacroExpTrans
M: 0 C: 73
100%
M: 1 C: 3
75%
M: 1 C: 4
80%
M: 0 C: 16
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
DistTransTest
M: 283 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 73 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
GenerateClassDispatchTrans
M: 24 C: 353
94%
M: 3 C: 13
81%
M: 3 C: 7
70%
M: 5 C: 86
95%
M: 0 C: 2
100%
M: 0 C: 1
100%
GenerateDepObjId
M: 161 C: 0
0%
M: 16 C: 0
0%
M: 10 C: 0
0%
M: 36 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
GenerateGetResTrans
M: 24 C: 439
95%
M: 3 C: 15
83%
M: 3 C: 8
73%
M: 5 C: 106
95%
M: 0 C: 2
100%
M: 0 C: 1
100%
GenerateSendBusTrans
M: 19 C: 508
96%
M: 3 C: 19
86%
M: 3 C: 10
77%
M: 4 C: 125
97%
M: 0 C: 2
100%
M: 0 C: 1
100%
TransformRemoteObject
M: 0 C: 150
100%
M: 2 C: 16
89%
M: 2 C: 9
82%
M: 0 C: 33
100%
M: 0 C: 2
100%
M: 0 C: 1
100%