Package: org.overture.ide.core.builder

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.core.builder
M: 513 C: 0
0%
M: 54 C: 0
0%
M: 54 C: 0
0%
M: 129 C: 0
0%
M: 27 C: 0
0%
M: 6 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AbstractVdmBuilder
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
SafeBuilder
M: 79 C: 0
0%
M: 6 C: 0
0%
M: 6 C: 0
0%
M: 22 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
SafeBuilder$1
M: 111 C: 0
0%
M: 12 C: 0
0%
M: 9 C: 0
0%
M: 29 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmBuilder
M: 136 C: 0
0%
M: 16 C: 0
0%
M: 13 C: 0
0%
M: 32 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
VdmCoreBuilder
M: 91 C: 0
0%
M: 10 C: 0
0%
M: 10 C: 0
0%
M: 24 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
VdmCoreBuilder$DeltaFileVisitor
M: 43 C: 0
0%
M: 10 C: 0
0%
M: 8 C: 0
0%
M: 9 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%