Changes

Summary

Test model for incremental redevelopment of static field access (commit: c882f95) (details)
Some temporary static field tests exercising the globals scheme. (commit: a2befee) (details)
Reworking field access transformation. (commit: b234a76) (details)

Commit c882f957075290ad6f787e67f7c37f8ddcf6e4f9 by Victor Bandur Test model for incremental redevelopment of static field access functionality. new file: core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (commit: c882f95)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
Commit a2befeee2c90cc65a4f508c6b37fa4b97018ff90 by Victor Bandur Some temporary static field tests exercising the globals scheme. modified: core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java modified: core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (commit: a2befee)
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (diff)
Commit b234a763c2e387ca04e2bc62d692341d3b1a131b by Victor Bandur Reworking field access transformation. modified: core/vdm2c/NativeClassesTests.launch 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 new file: core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt deleted: core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (commit: b234a76)
	core/vdm2c/NativeClassesTests.launch (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
	core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt