Package: org.overture.codegen.vdm2java

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2java
M: 2343 C: 8880
79%
M: 376 C: 804
68%
M: 302 C: 630
68%
M: 540 C: 1958
78%
M: 49 C: 293
86%
M: 2 C: 30
94%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ClassToInterfaceTrans
M: 4 C: 251
98%
M: 0 C: 22
100%
M: 1 C: 17
94%
M: 2 C: 51
96%
M: 1 C: 6
86%
M: 0 C: 1
100%
IJavaConstants
M: 0 C: 204
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
IJavaQouteEventCoordinator
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
IJavaQuoteEventObserver
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
ImportsTrans
M: 27 C: 67
71%
M: 9 C: 7
44%
M: 6 C: 8
57%
M: 4 C: 17
81%
M: 1 C: 5
83%
M: 0 C: 1
100%
JUnit4Trans
M: 326 C: 21
6%
M: 61 C: 1
2%
M: 42 C: 2
5%
M: 65 C: 7
10%
M: 11 C: 2
15%
M: 0 C: 1
100%
JavaCallStmToStringBuilder
M: 23 C: 236
91%
M: 4 C: 14
78%
M: 4 C: 9
69%
M: 3 C: 51
94%
M: 0 C: 4
100%
M: 0 C: 1
100%
JavaClassCreator
M: 0 C: 223
100%
M: 1 C: 11
92%
M: 1 C: 9
90%
M: 0 C: 45
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
JavaClassCreatorBase
M: 12 C: 303
96%
M: 2 C: 2
50%
M: 2 C: 9
82%
M: 2 C: 85
98%
M: 0 C: 9
100%
M: 0 C: 1
100%
JavaCodeGen
M: 344 C: 1132
77%
M: 43 C: 87
67%
M: 37 C: 58
61%
M: 79 C: 233
75%
M: 5 C: 25
83%
M: 0 C: 1
100%
JavaCodeGenMain
M: 893 C: 226
20%
M: 128 C: 26
17%
M: 78 C: 7
8%
M: 228 C: 49
18%
M: 6 C: 2
25%
M: 0 C: 1
100%
JavaCodeGenMode
M: 34 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
JavaCodeGenUtil
M: 181 C: 217
55%
M: 27 C: 35
56%
M: 23 C: 21
48%
M: 41 C: 52
56%
M: 4 C: 9
69%
M: 0 C: 1
100%
JavaFormat
M: 240 C: 1778
88%
M: 57 C: 223
80%
M: 51 C: 169
77%
M: 38 C: 350
90%
M: 1 C: 79
99%
M: 0 C: 1
100%
JavaFormatAssistant
M: 51 C: 322
86%
M: 1 C: 3
75%
M: 2 C: 9
82%
M: 13 C: 83
86%
M: 1 C: 8
89%
M: 0 C: 1
100%
JavaIdentifierNormaliser
M: 6 C: 237
98%
M: 1 C: 33
97%
M: 1 C: 25
96%
M: 1 C: 56
98%
M: 0 C: 9
100%
M: 0 C: 1
100%
JavaMainTag
M: 54 C: 0
0%
M: 8 C: 0
0%
M: 7 C: 0
0%
M: 14 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
JavaPostCheckCreator
M: 0 C: 95
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 23
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
JavaPrecedence
M: 0 C: 60
100%
M: 1 C: 15
94%
M: 1 C: 9
90%
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
JavaQuoteValueCreator
M: 0 C: 643
100%
M: 0 C: 2
100%
M: 0 C: 14
100%
M: 0 C: 157
100%
M: 0 C: 13
100%
M: 0 C: 1
100%
JavaRecordCreator
M: 12 C: 605
98%
M: 1 C: 15
94%
M: 1 C: 14
93%
M: 2 C: 141
99%
M: 0 C: 7
100%
M: 0 C: 1
100%
JavaSettings
M: 22 C: 89
80%
M: 2 C: 2
50%
M: 6 C: 17
74%
M: 11 C: 33
75%
M: 5 C: 16
76%
M: 0 C: 1
100%
JavaTemplateManager
M: 0 C: 23
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
JavaToStringTrans
M: 0 C: 18
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%
JavaTransSeries
M: 0 C: 507
100%
M: 0 C: 0
100%
M: 0 C: 6
100%
M: 0 C: 98
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
JavaValueSemantics
M: 33 C: 699
95%
M: 13 C: 179
93%
M: 12 C: 107
90%
M: 9 C: 183
95%
M: 0 C: 23
100%
M: 0 C: 1
100%
JavaValueSemanticsTag
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
JavaVarPrefixManager
M: 28 C: 71
72%
M: 0 C: 0
100%
M: 7 C: 14
67%
M: 14 C: 22
61%
M: 7 C: 14
67%
M: 0 C: 1
100%
ModuleRenamerTrans
M: 0 C: 185
100%
M: 1 C: 33
97%
M: 1 C: 24
96%
M: 0 C: 48
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
ObjectMethodComparison
M: 0 C: 113
100%
M: 0 C: 24
100%
M: 0 C: 15
100%
M: 0 C: 26
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
RecMethodsTrans
M: 0 C: 62
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 13
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
TemplateCallableManager
M: 3 C: 19
86%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 1
100%
UnsupportedLibWarningTrans
M: 20 C: 121
86%
M: 8 C: 16
67%
M: 9 C: 11
55%
M: 5 C: 26
84%
M: 1 C: 7
88%
M: 0 C: 1
100%
VdmAstJavaValidator
M: 30 C: 344
92%
M: 8 C: 50
86%
M: 8 C: 42
84%
M: 6 C: 77
93%
M: 1 C: 20
95%
M: 0 C: 1
100%