Package: org.overture.ide.plugins.coverageeditor.editor

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.plugins.coverageeditor.editor
M: 980 C: 0
0%
M: 101 C: 0
0%
M: 110 C: 0
0%
M: 240 C: 0
0%
M: 59 C: 0
0%
M: 12 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CoverageEditor
M: 624 C: 0
0%
M: 79 C: 0
0%
M: 47 C: 0
0%
M: 132 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
CoverageEditor$CoverageDocumentProvider
M: 50 C: 0
0%
M: 6 C: 0
0%
M: 5 C: 0
0%
M: 11 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
CoverageSourceUnit
M: 7 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 3 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
ExternalCoverageEditor
M: 42 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 15 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
ExternalCoverageEditor$1
M: 38 C: 0
0%
M: 6 C: 0
0%
M: 7 C: 0
0%
M: 11 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
ExternalCoverageEditor$VdmExternalCoverageDocumentProvider
M: 58 C: 0
0%
M: 10 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmPpCoverageEditor
M: 40 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
VdmPpCoverageEditor$1
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmRtCoverageEditor
M: 38 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 15 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
VdmRtCoverageEditor$1
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmSlCoverageEditor
M: 38 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 15 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
VdmSlCoverageEditor$1
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%