Package: org.overture.codegen.mojocg

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.mojocg
M: 806 C: 0
0%
M: 76 C: 0
0%
M: 55 C: 0
0%
M: 177 C: 0
0%
M: 17 C: 0
0%
M: 4 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
Vdm2JavaBaseMojo
M: 67 C: 0
0%
M: 6 C: 0
0%
M: 6 C: 0
0%
M: 17 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
Vdm2JavaMojo
M: 703 C: 0
0%
M: 68 C: 0
0%
M: 41 C: 0
0%
M: 149 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
Vdm2JavaMojo$1
M: 29 C: 0
0%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 10 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
VdmppNameFilter
M: 7 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%