Package: org.overture.codegen.analysis.vdm

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.analysis.vdm
M: 127 C: 2733
96%
M: 42 C: 314
88%
M: 48 C: 256
84%
M: 36 C: 664
95%
M: 6 C: 120
95%
M: 1 C: 12
92%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AbstractAnalysis
M: 13 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 5 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
DefinitionInfo
M: 0 C: 103
100%
M: 0 C: 6
100%
M: 0 C: 10
100%
M: 0 C: 24
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
IdDesignatorOccurencesCollector
M: 12 C: 43
78%
M: 1 C: 3
75%
M: 1 C: 4
80%
M: 1 C: 12
92%
M: 0 C: 3
100%
M: 0 C: 1
100%
IdOccurencesCollector
M: 0 C: 31
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 9
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
IdStateDesignatorDefCollector
M: 17 C: 349
95%
M: 4 C: 52
93%
M: 4 C: 36
90%
M: 3 C: 83
97%
M: 0 C: 12
100%
M: 0 C: 1
100%
NameCollector
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
RenameAnalysis
M: 0 C: 119
100%
M: 0 C: 8
100%
M: 0 C: 13
100%
M: 0 C: 29
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
Renaming
M: 30 C: 80
73%
M: 4 C: 6
60%
M: 7 C: 8
53%
M: 5 C: 20
80%
M: 3 C: 7
70%
M: 0 C: 1
100%
UnreachableStmRemover
M: 0 C: 96
100%
M: 0 C: 20
100%
M: 0 C: 12
100%
M: 0 C: 22
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
VarOccurencesCollector
M: 0 C: 31
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 10
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
VarRenamer
M: 0 C: 46
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 12
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
VarShadowingRenameCollector
M: 55 C: 1772
97%
M: 33 C: 199
86%
M: 33 C: 148
82%
M: 22 C: 426
95%
M: 0 C: 65
100%
M: 0 C: 1
100%
VdmAnalysis
M: 0 C: 45
100%
M: 0 C: 10
100%
M: 0 C: 7
100%
M: 0 C: 11
100%
M: 0 C: 2
100%
M: 0 C: 1
100%