Package: org.overture.codegen.vdm2c.transformations

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c.transformations
M: 1091 C: 7776
88%
M: 145 C: 479
77%
M: 150 C: 395
72%
M: 244 C: 1554
86%
M: 24 C: 209
90%
M: 3 C: 48
94%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AddFieldTrans
M: 0 C: 74
100%
M: 1 C: 5
83%
M: 1 C: 5
83%
M: 0 C: 19
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
AddThisArgToMethodsTrans
M: 0 C: 68
100%
M: 1 C: 7
88%
M: 1 C: 5
83%
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
C89ForLoopTrans
M: 5 C: 98
95%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 1 C: 25
96%
M: 0 C: 3
100%
M: 0 C: 1
100%
CLetBeStStmTrans
M: 84 C: 113
57%
M: 10 C: 4
29%
M: 7 C: 3
30%
M: 15 C: 25
63%
M: 0 C: 3
100%
M: 0 C: 1
100%
CPreCheckTrans
M: 134 C: 194
59%
M: 8 C: 12
60%
M: 7 C: 6
46%
M: 30 C: 46
61%
M: 1 C: 2
67%
M: 0 C: 1
100%
CallRewriteTrans
M: 80 C: 751
90%
M: 11 C: 53
83%
M: 11 C: 31
74%
M: 18 C: 142
89%
M: 1 C: 9
90%
M: 0 C: 1
100%
CompToBlockTrans
M: 129 C: 749
85%
M: 10 C: 10
50%
M: 10 C: 9
47%
M: 28 C: 141
83%
M: 0 C: 9
100%
M: 0 C: 1
100%
CompatibleMethodCollector
M: 18 C: 175
91%
M: 7 C: 29
81%
M: 5 C: 17
77%
M: 4 C: 42
91%
M: 0 C: 4
100%
M: 0 C: 1
100%
CreateGlobalConstInitFunctionTrans
M: 0 C: 141
100%
M: 1 C: 9
90%
M: 1 C: 8
89%
M: 0 C: 26
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
CreateGlobalStaticInitFunctionTrans
M: 0 C: 149
100%
M: 1 C: 13
93%
M: 1 C: 10
91%
M: 0 C: 27
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
CtorTrans
M: 0 C: 265
100%
M: 1 C: 17
94%
M: 1 C: 10
91%
M: 0 C: 42
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
EnsureValueSemanticsTrans
M: 0 C: 16
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
ExtractEmbeddedCreationsTrans
M: 23 C: 149
87%
M: 3 C: 19
86%
M: 3 C: 11
79%
M: 5 C: 31
86%
M: 0 C: 3
100%
M: 0 C: 1
100%
ExtractRetValTrans
M: 0 C: 96
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 25
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
FieldAssignToFieldSetMacroTrans
M: 235 C: 230
49%
M: 9 C: 15
63%
M: 8 C: 8
50%
M: 44 C: 48
52%
M: 1 C: 3
75%
M: 0 C: 1
100%
FieldAssignToFieldSetMacroTrans$FieldNameFinder
M: 19 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
FieldExpRewriteTrans
M: 8 C: 209
96%
M: 6 C: 10
63%
M: 6 C: 5
45%
M: 2 C: 42
95%
M: 0 C: 3
100%
M: 0 C: 1
100%
FieldInitializerExtractorTrans
M: 10 C: 134
93%
M: 2 C: 10
83%
M: 2 C: 7
78%
M: 1 C: 33
97%
M: 0 C: 3
100%
M: 0 C: 1
100%
FieldReadToFieldGetMacroTrans
M: 69 C: 391
85%
M: 25 C: 53
68%
M: 20 C: 25
56%
M: 18 C: 89
83%
M: 0 C: 6
100%
M: 0 C: 1
100%
ForLoopTrans
M: 2 C: 425
100%
M: 3 C: 9
75%
M: 3 C: 9
75%
M: 1 C: 76
99%
M: 0 C: 6
100%
M: 0 C: 1
100%
GarbageCollectionTrans
M: 2 C: 688
100%
M: 5 C: 29
85%
M: 5 C: 27
84%
M: 0 C: 128
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
IfTrans
M: 0 C: 59
100%
M: 0 C: 6
100%
M: 0 C: 8
100%
M: 0 C: 15
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
IgnoreRenamingTrans
M: 22 C: 6
21%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 5 C: 3
38%
M: 1 C: 1
50%
M: 0 C: 1
100%
IsCheckTrans
M: 8 C: 245
97%
M: 1 C: 17
94%
M: 2 C: 11
85%
M: 3 C: 40
93%
M: 1 C: 3
75%
M: 0 C: 1
100%
IsExpTypeEncoder
M: 4 C: 386
99%
M: 0 C: 8
100%
M: 2 C: 22
92%
M: 2 C: 34
94%
M: 2 C: 18
90%
M: 0 C: 1
100%
IsExpUnionTypeFinder
M: 4 C: 145
97%
M: 0 C: 16
100%
M: 0 C: 13
100%
M: 2 C: 42
95%
M: 0 C: 5
100%
M: 0 C: 1
100%
IsExpUnionTypeTrans
M: 28 C: 168
86%
M: 2 C: 4
67%
M: 2 C: 4
67%
M: 6 C: 31
84%
M: 0 C: 3
100%
M: 0 C: 1
100%
IsNotYetSpecifiedTrans
M: 9 C: 124
93%
M: 1 C: 3
75%
M: 2 C: 4
67%
M: 3 C: 25
89%
M: 1 C: 3
75%
M: 0 C: 1
100%
LetTrans
M: 50 C: 6
11%
M: 2 C: 0
0%
M: 2 C: 1
33%
M: 11 C: 3
21%
M: 1 C: 1
50%
M: 0 C: 1
100%
LiteralInstantiationRewriteTrans
M: 11 C: 100
90%
M: 0 C: 0
100%
M: 2 C: 9
82%
M: 3 C: 21
88%
M: 2 C: 9
82%
M: 0 C: 1
100%
LogicTrans
M: 3 C: 125
98%
M: 0 C: 0
100%
M: 1 C: 8
89%
M: 1 C: 17
94%
M: 1 C: 8
89%
M: 0 C: 1
100%
MangleMethodNamesTrans
M: 0 C: 20
100%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 0 C: 7
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
MapSeqUpdateRewriteTrans
M: 0 C: 66
100%
M: 2 C: 4
67%
M: 2 C: 3
60%
M: 0 C: 16
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
MethodReturnInsertTrans
M: 21 C: 94
82%
M: 5 C: 19
79%
M: 5 C: 10
67%
M: 6 C: 28
82%
M: 0 C: 3
100%
M: 0 C: 1
100%
MethodVisibilityTrans
M: 0 C: 18
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
NewRewriteTrans
M: 0 C: 83
100%
M: 0 C: 10
100%
M: 0 C: 7
100%
M: 0 C: 19
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
NumericTrans
M: 3 C: 264
99%
M: 0 C: 0
100%
M: 1 C: 17
94%
M: 1 C: 34
97%
M: 1 C: 17
94%
M: 0 C: 1
100%
OOCheckTrans
M: 14 C: 130
90%
M: 1 C: 1
50%
M: 2 C: 7
78%
M: 2 C: 27
93%
M: 1 C: 7
88%
M: 0 C: 1
100%
RecTypeToClassTypeTrans
M: 0 C: 25
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
RemoveCWrappersTrans
M: 0 C: 18
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%
RemoveRTConstructs
M: 0 C: 50
100%
M: 1 C: 5
83%
M: 1 C: 6
86%
M: 0 C: 13
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
RenameFieldsDeclsTrans
M: 0 C: 17
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 7
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
RenameMathLibraryTrans
M: 15 C: 0
0%
M: 2 C: 0
0%
M: 3 C: 0
0%
M: 6 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
ScopeCleanerTrans
M: 21 C: 217
91%
M: 10 C: 36
78%
M: 9 C: 17
65%
M: 3 C: 43
93%
M: 0 C: 3
100%
M: 0 C: 1
100%
SelfTrans
M: 15 C: 72
83%
M: 4 C: 4
50%
M: 4 C: 4
50%
M: 6 C: 18
75%
M: 0 C: 4
100%
M: 0 C: 1
100%
StaticFieldAccessRenameTrans
M: 0 C: 40
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 12
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
SubClassResponsibilityMethodsTrans
M: 8 C: 92
92%
M: 3 C: 17
85%
M: 3 C: 9
75%
M: 1 C: 24
96%
M: 0 C: 2
100%
M: 0 C: 1
100%
UnionFinder
M: 0 C: 28
100%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 11
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ValueAccessRenameTrans
M: 0 C: 23
100%
M: 1 C: 1
50%
M: 1 C: 2
67%
M: 0 C: 8
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
ValueSemantics
M: 3 C: 40
93%
M: 1 C: 3
75%
M: 2 C: 4
67%
M: 1 C: 9
90%
M: 1 C: 3
75%
M: 0 C: 1
100%
VisualizeIRAST
M: 34 C: 0
0%
M: 2 C: 0
0%
M: 3 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%