Package: org.overture.codegen.analysis.violations

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.analysis.violations
M: 16 C: 600
97%
M: 9 C: 57
86%
M: 11 C: 64
85%
M: 6 C: 146
96%
M: 2 C: 40
95%
M: 0 C: 10
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
GeneratedVarComparison
M: 2 C: 55
96%
M: 1 C: 9
90%
M: 1 C: 7
88%
M: 1 C: 13
93%
M: 0 C: 3
100%
M: 0 C: 1
100%
InvalidNamesResult
M: 0 C: 76
100%
M: 2 C: 6
75%
M: 2 C: 10
83%
M: 0 C: 21
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
NameViolationAnalysis
M: 1 C: 98
99%
M: 4 C: 14
78%
M: 4 C: 9
69%
M: 0 C: 24
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
NamingComparison
M: 0 C: 110
100%
M: 0 C: 4
100%
M: 0 C: 7
100%
M: 0 C: 25
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
ReservedWordsComparison
M: 0 C: 14
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
TypenameComparison
M: 2 C: 68
97%
M: 1 C: 13
93%
M: 1 C: 10
91%
M: 0 C: 16
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
VdmAstAnalysis
M: 0 C: 52
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 13
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
VdmAstAnalysis$ViolationAnalysisApplication
M: 3 C: 22
88%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 2 C: 7
78%
M: 0 C: 3
100%
M: 0 C: 1
100%
Violation
M: 8 C: 79
91%
M: 1 C: 5
83%
M: 3 C: 6
67%
M: 3 C: 14
82%
M: 2 C: 4
67%
M: 0 C: 1
100%
ViolationAnalysis
M: 0 C: 26
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 9
100%
M: 0 C: 3
100%
M: 0 C: 1
100%