SuccessChanges

Summary

  1. -  First part of cleaned field access transformation. -  Read of field (commit: 8c2eff1) (details)
Commit 8c2eff1233fc8b3369b3e3115dac53e9f694b052 by Victor Bandur
-  First part of cleaned field access transformation. -  Read of field
of local object. -  Does not work for local fields, because the nodes
are of a different    type, so they must be matched separately (VarExp
vs. FieldExp.)
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: 8c2eff1)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)