Package: VdmAstAnalysis$ViolationAnalysisApplication

VdmAstAnalysis$ViolationAnalysisApplication

nameinstructionbranchcomplexitylinemethod
VdmAstAnalysis.ViolationAnalysisApplication(VdmAstAnalysis, ViolationAnalysis)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
applyViolationVisitor(INode, ViolationAnalysis)
M: 3 C: 7
70%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 2 C: 3
60%
M: 0 C: 1
100%
execute(INode)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!