Package: org.overture.codegen.vdm2jml.trans

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2jml.trans
M: 261 C: 1467
85%
M: 39 C: 85
69%
M: 34 C: 73
68%
M: 54 C: 334
86%
M: 2 C: 43
96%
M: 0 C: 7
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
JmlTraceStmBuilder
M: 37 C: 246
87%
M: 8 C: 16
67%
M: 8 C: 8
50%
M: 9 C: 58
87%
M: 0 C: 4
100%
M: 0 C: 1
100%
JmlTraceTrans
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
JmlUnionTypeTrans
M: 8 C: 78
91%
M: 2 C: 6
75%
M: 2 C: 5
71%
M: 2 C: 20
91%
M: 0 C: 3
100%
M: 0 C: 1
100%
RecAccessorTrans
M: 16 C: 631
98%
M: 11 C: 33
75%
M: 9 C: 30
77%
M: 1 C: 138
99%
M: 0 C: 17
100%
M: 0 C: 1
100%
RecInvTransformation
M: 181 C: 179
50%
M: 15 C: 15
50%
M: 12 C: 9
43%
M: 38 C: 41
52%
M: 2 C: 4
67%
M: 0 C: 1
100%
TargetNormaliserTrans
M: 19 C: 280
94%
M: 3 C: 15
83%
M: 3 C: 13
81%
M: 4 C: 62
94%
M: 0 C: 7
100%
M: 0 C: 1
100%
TcExpInfo
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 10
100%
M: 0 C: 5
100%
M: 0 C: 1
100%