Package: org.overture.ide.core.ast

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.core.ast
M: 563 C: 0
0%
M: 68 C: 0
0%
M: 69 C: 0
0%
M: 139 C: 0
0%
M: 35 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
NotAllowedException
M: 7 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmModel
M: 453 C: 0
0%
M: 60 C: 0
0%
M: 59 C: 0
0%
M: 111 C: 0
0%
M: 29 C: 0
0%
M: 1 C: 0
0%
VdmModelWorkingCopy
M: 103 C: 0
0%
M: 8 C: 0
0%
M: 8 C: 0
0%
M: 24 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%