SuccessChanges

Summary

  1. Test model for incremental redevelopment of static field access (commit: c882f95) (details)
  2. Some temporary static field tests exercising the globals scheme. (commit: a2befee) (details)
  3. 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)
The file was addedcore/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)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (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)
The file was removedcore/vdm2c/src/test/resources/vdmrt/classes/ClassStaticFieldsTMP.vdmrt
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)
The file was modifiedcore/vdm2c/NativeClassesTests.launch (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt