SuccessChanges

Summary

  1. Working on setting public fields of instances. (commit: 7323513) (details)
Commit 73235136a750091f40f831fc784ca53643a04a80 by Victor Bandur
Working on setting public fields of instances.
modified:   core/vdm2c/NativeClassesTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: 7323513)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)