Package: org.overture.ide.ui.utility

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.ui.utility
M: 308 C: 0
0%
M: 18 C: 0
0%
M: 25 C: 0
0%
M: 87 C: 0
0%
M: 16 C: 0
0%
M: 5 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
EditorUtility
M: 78 C: 0
0%
M: 0 C: 0
100%
M: 4 C: 0
0%
M: 23 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
PluginFolderInclude
M: 79 C: 0
0%
M: 6 C: 0
0%
M: 7 C: 0
0%
M: 23 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
VdmTypeCheckerUi
M: 108 C: 0
0%
M: 12 C: 0
0%
M: 9 C: 0
0%
M: 31 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmTypeCheckerUi$1
M: 33 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmTypeCheckerUi$CompletedStatus
M: 10 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%