Package: Vdm2JavaMojo

Vdm2JavaMojo

nameinstructionbranchcomplexitylinemethod
Vdm2JavaMojo()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
addDelegateTrans(JavaCodeGen)
M: 58 C: 0
0%
M: 6 C: 0
0%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%
buidDelegateMap()
M: 34 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
execute()
M: 387 C: 0
0%
M: 38 C: 0
0%
M: 20 C: 0
0%
M: 88 C: 0
0%
M: 1 C: 0
0%
findVdmSources(List, File)
M: 20 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
isReGenerationRequired(List)
M: 170 C: 0
0%
M: 12 C: 0
0%
M: 7 C: 0
0%
M: 32 C: 0
0%
M: 1 C: 0
0%
validateTcResult(TypeCheckerUtil.TypeCheckResult)
M: 31 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!