Package: VdmAstAnalysis

VdmAstAnalysis

nameinstructionbranchcomplexitylinemethod
VdmAstAnalysis(AssistantManager)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
findViolations(List, VdmAstAnalysis.ViolationAnalysisApplication)
M: 0 C: 28
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
usesIllegalNames(List, NamingComparison)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!