Package: org.overture.codegen.vdm2c.analysis

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c.analysis
M: 32 C: 574
95%
M: 0 C: 44
100%
M: 10 C: 59
86%
M: 20 C: 119
86%
M: 10 C: 37
79%
M: 0 C: 10
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassAssocAnalysis
M: 0 C: 169
100%
M: 0 C: 12
100%
M: 0 C: 12
100%
M: 0 C: 35
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
FeatureAnalysis
M: 0 C: 42
100%
M: 0 C: 4
100%
M: 0 C: 7
100%
M: 0 C: 12
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
FeatureAnalysisResult
M: 3 C: 338
99%
M: 0 C: 26
100%
M: 1 C: 31
97%
M: 1 C: 63
98%
M: 1 C: 18
95%
M: 0 C: 1
100%
UsesIsExpAnalysis
M: 3 C: 3
50%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 2 C: 1
33%
M: 1 C: 1
50%
M: 0 C: 1
100%
UsesMapsAnalysis
M: 6 C: 3
33%
M: 0 C: 0
100%
M: 2 C: 1
33%
M: 4 C: 1
20%
M: 2 C: 1
33%
M: 0 C: 1
100%
UsesPatternsAnalysis
M: 2 C: 7
78%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 1 C: 3
75%
M: 0 C: 2
100%
M: 0 C: 1
100%
UsesProductsAnalysis
M: 3 C: 3
50%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 2 C: 1
33%
M: 1 C: 1
50%
M: 0 C: 1
100%
UsesRecordsAnalysis
M: 3 C: 3
50%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 2 C: 1
33%
M: 1 C: 1
50%
M: 0 C: 1
100%
UsesSeqsAnalysis
M: 6 C: 3
33%
M: 0 C: 0
100%
M: 2 C: 1
33%
M: 4 C: 1
20%
M: 2 C: 1
33%
M: 0 C: 1
100%
UsesSetsAnalysis
M: 6 C: 3
33%
M: 0 C: 0
100%
M: 2 C: 1
33%
M: 4 C: 1
20%
M: 2 C: 1
33%
M: 0 C: 1
100%