SuccessChanges

Summary

  1. Setting of public fields, static and non-static, through instance or (commit: de0f21f) (details)
Commit de0f21fed93bbed91a1485842a6a45997b93c4f7 by Victor Bandur
Setting of public fields, static and non-static, through instance or
explicit.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: de0f21f)
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/src/main/java/org/overture/codegen/vdm2c/utils/GlobalFieldUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldAssignToFieldSetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)