Package: org.overture.codegen.vdm2c.transformations
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.codegen.vdm2c.transformations |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AddFieldTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
AddThisArgToMethodsTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
C89ForLoopTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CLetBeStStmTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CPreCheckTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CallRewriteTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CompToBlockTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CompatibleMethodCollector |
|
|
|
|
|
|
||||||||||||||||||||||||
CreateGlobalConstInitFunctionTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CreateGlobalStaticInitFunctionTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
CtorTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
EnsureValueSemanticsTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
ExtractEmbeddedCreationsTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
ExtractRetValTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldAssignToFieldSetMacroTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldAssignToFieldSetMacroTrans$FieldNameFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldExpRewriteTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldInitializerExtractorTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldReadToFieldGetMacroTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
ForLoopTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
GarbageCollectionTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
IfTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
IgnoreRenamingTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
IsCheckTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
IsExpTypeEncoder |
|
|
|
|
|
|
||||||||||||||||||||||||
IsExpUnionTypeFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
IsExpUnionTypeTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
IsNotYetSpecifiedTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
LetTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
LiteralInstantiationRewriteTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
LogicTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
MangleMethodNamesTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
MapSeqUpdateRewriteTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
MethodReturnInsertTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
MethodVisibilityTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
NewRewriteTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
NumericTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
OOCheckTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
RecTypeToClassTypeTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
RemoveCWrappersTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
RemoveRTConstructs |
|
|
|
|
|
|
||||||||||||||||||||||||
RenameFieldsDeclsTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
RenameMathLibraryTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
ScopeCleanerTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
SelfTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
StaticFieldAccessRenameTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
SubClassResponsibilityMethodsTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
UnionFinder |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueAccessRenameTrans |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueSemantics |
|
|
|
|
|
|
||||||||||||||||||||||||
VisualizeIRAST |
|
|
|
|
|
|