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)