[Jenkins]Jenkins

Package: org.overture.codegen.vdm2jml.predgen.info

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2jml.predgen.info
M: 232 C: 1177
84%
M: 39 C: 77
66%
M: 33 C: 84
72%
M: 55 C: 250
82%
M: 7 C: 52
88%
M: 0 C: 13
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AbstractCollectionInfo
M: 0 C: 107
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 20
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
AbstractSetSeqInfo
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
AbstractTypeInfo
M: 0 C: 69
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 13
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
LeafTypeInfo
M: 26 C: 212
89%
M: 3 C: 9
75%
M: 3 C: 12
80%
M: 5 C: 43
90%
M: 1 C: 8
89%
M: 0 C: 1
100%
MapInfo
M: 0 C: 73
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 15
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
NamedTypeInfo
M: 84 C: 136
62%
M: 19 C: 11
37%
M: 15 C: 11
42%
M: 21 C: 33
61%
M: 3 C: 8
73%
M: 0 C: 1
100%
NamedTypeInvDepCalculator
M: 41 C: 320
89%
M: 9 C: 39
81%
M: 8 C: 24
75%
M: 9 C: 71
89%
M: 0 C: 8
100%
M: 0 C: 1
100%
RecursiveLeaf
M: 0 C: 10
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%
SeqInfo
M: 0 C: 19
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 4
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
SetInfo
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
TupleInfo
M: 23 C: 107
82%
M: 2 C: 4
67%
M: 2 C: 4
67%
M: 5 C: 15
75%
M: 1 C: 2
67%
M: 0 C: 1
100%
UnionInfo
M: 54 C: 85
61%
M: 6 C: 6
50%
M: 4 C: 6
60%
M: 14 C: 21
60%
M: 1 C: 3
75%
M: 0 C: 1
100%
UnknownLeaf
M: 4 C: 6
60%
M: 0 C: 0
100%
M: 1 C: 2
67%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 0 C: 1
100%