Package: Vdm2JavaBaseMojo

Vdm2JavaBaseMojo

nameinstructionbranchcomplexitylinemethod
Vdm2JavaBaseMojo()
M: 24 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
getProjectJavaSrcDirectory()
M: 14 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
getProjectOutputDirectory()
M: 29 C: 0
0%
M: 6 C: 0
0%
M: 4 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!